Search results

[Isabelle] Post Strict_Order.thy library to Isabelle mailing list

enhancementNew feature or requestNew feature or request

Status: Open.

#126 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Aug 30, 2019

[Isabelle] Use <code>section</code> and <code>subsection</code>

Status: Open.

#122 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Aug 3, 2019

[Isabelle] Use <code>inductive</code> for Σ and M

Status: Open.

#119 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Jun 11, 2019

[Isabelle] Subset of preordered &amp; connex set is preordered &amp; connex?

questionFurther information is requestedFurther information is requested

Status: Open.

#109 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 30, 2019

[Proof] Sharding in CBC

enhancementNew feature or requestNew feature or request

Status: Open.

#108 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 18, 2019

[Proof] The current definition of safety is sufficient for blockchain safety

Priority

Status: Open.

#107 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 18, 2019

[Theory] More general definition of safety

enhancementNew feature or requestNew feature or request

Status: Open.

#104 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 18, 2019

[Proof] Safety with subjective fault threshold

Priority

Status: Open.

#99 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 11, 2019

[Proof] Safety of TFG with validator rotation

Priority

Status: Open.

#98 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 11, 2019

[Isabelle] Blockchain datatype?

enhancementNew feature or requestNew feature or request

Status: Open.

#97 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Mar 4, 2019

[Proof] Safety with different fault tolerance threshold

enhancementNew feature or requestNew feature or request

Status: Open.

#94 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Feb 27, 2019

[Proof] Safety for a infinite set of validators

enhancementNew feature or requestNew feature or request

Status: Open.

#93 In LayerXcom/cbc-casper-proof;

· nrryuya opened on Feb 26, 2019