LibraChain
A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
Archived
25 stars
9 watching
1 forks
Language: Coq
last commit: over 4 years ago LibraChain A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover