modular-cryptographic-proofs topic
List
modular-cryptographic-proofs repositories
ssprove
56
Stars
10
Forks
Watchers
A foundational framework for modular cryptographic proofs in Coq
