fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
47 stars
7 watching
23 forks
Language: Coq
last commit: 6 months ago
Linked from 1 awesome list
fcf Foundational Cryptography Framework for machine-checked proofs of cryptography.
coq-community/awesome-coq