Foundational Cryptography Framework for machine-checked proofs of cryptography.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Relation algebra library for Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
coinduction library for Coq