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