novifinancial / LibraChain
A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
☆25Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for LibraChain
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems