Awesome Lists

LibraChain

by novifinancial

archivedCoqpushed over 6 years ago

A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover

stars
26
forks
1
watching
9
View on GitHub

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.