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