Skip to content
@SSProve

SSProve

Pinned Loading

  1. ssprove ssprove Public

    A foundational framework for modular cryptographic proofs in Coq

    Rocq Prover 80 16

Repositories

Showing 1 of 1 repositories
  • ssprove Public

    A foundational framework for modular cryptographic proofs in Coq

    SSProve/ssprove’s past year of commit activity
    Rocq Prover 80 MIT 16 8 8 Updated Apr 20, 2026

Top languages

Rocq Prover

Most used topics

Loading…