1 result found Sort:

SSProve
ssprove SSProve
10
56
mit
8
A foundational framework for modular cryptographic proofs in Coq
coq-library cryptography coq-formalization formal-verification state-separating-proofs modular-cryptographic-proofs
Created 2021-03-09
1,468 commits to main branch, last one 5 days ago