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