ssprove
A foundational framework for modular cryptographic proofs in Coq
57 stars
8 watching
10 forks
Language: Coq
last commit: 30 days ago
Linked from 2 awesome lists
coq-formalizationcoq-librarycryptographyformal-verificationmodular-cryptographic-proofsstate-separating-proofs