-
Notifications
You must be signed in to change notification settings - Fork 4
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[Isabelle] Post Strict_Order.thy library to Isabelle mailing list
enhancementNew feature or requestNew feature or requestStatus: Open.#126 In LayerXcom/cbc-casper-proof;- Status: Open.#122 In LayerXcom/cbc-casper-proof;
- Status: Open.#119 In LayerXcom/cbc-casper-proof;
[Isabelle] Subset of preordered & connex set is preordered & connex?
questionFurther information is requestedFurther information is requestedStatus: Open.#109 In LayerXcom/cbc-casper-proof;[Proof] Sharding in CBC
enhancementNew feature or requestNew feature or requestStatus: Open.#108 In LayerXcom/cbc-casper-proof;- Status: Open.#107 In LayerXcom/cbc-casper-proof;
[Theory] More general definition of safety
enhancementNew feature or requestNew feature or requestStatus: Open.#104 In LayerXcom/cbc-casper-proof;- Status: Open.#99 In LayerXcom/cbc-casper-proof;
- Status: Open.#98 In LayerXcom/cbc-casper-proof;
[Isabelle] Blockchain datatype?
enhancementNew feature or requestNew feature or requestStatus: Open.#97 In LayerXcom/cbc-casper-proof;[Proof] Safety with different fault tolerance threshold
enhancementNew feature or requestNew feature or requestStatus: Open.#94 In LayerXcom/cbc-casper-proof;[Proof] Safety for a infinite set of validators
enhancementNew feature or requestNew feature or requestStatus: Open.#93 In LayerXcom/cbc-casper-proof;