Foundational Cryptography Framework for machine-checked proofs of cryptography.
Repository Index
61,121 visible repositories in the index
1–2 of 2 · Most stars
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
61,121 visible repositories in the index
1–2 of 2 · Most stars
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Partial Commutative Monoids