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