SSProve / ssprove

A foundational framework for modular cryptographic proofs in Coq
56Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for ssprove