Skip to content
@SSProve

SSProve

Pinned Loading

  1. ssprove ssprove Public

    A foundational framework for modular cryptographic proofs in Coq

    Coq 56 9

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
    Coq 56 MIT 9 3 4 Updated Dec 3, 2024

Top languages

Loading…

Most used topics

Loading…