GitHub repository: 4ever2/ssprove
Primary language: Coq
Description: A foundational framework for modular cryptographic proofs in Coq