A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
47,133 repositories indexed
1–3 of 3 · Most stars
A framework for formally verifying distributed systems implementations in Coq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]