SSProve

Pinned Loading

ssprove ssprove Public

A foundational framework for modular cryptographic proofs in Coq

Rocq Prover 71 14

Repositories

ssprove Public
A foundational framework for modular cryptographic proofs in Coq

SSProve/ssprove’s past year of commit activity

Rocq Prover 71 MIT 14 8 7 Updated Nov 12, 2025

People

Top languages

Loading…

Most used topics

Loading…