SSProve
Results
1
repositories owned by
SSProve
trafficstars
ssprove
56
Stars
10
Forks
Watchers
A foundational framework for modular cryptographic proofs in Coq
