package coq-ssprove

  1. Overview
  2. No Docs
A Foundational Framework for Modular Cryptographic Proofs

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. S
    SSProve team

Maintainers

  1. P
    philipp@haselwarter.org

Sources

v0.2.2.tar.gz
sha512=69c561493a03904c537be344f6930056b31fe8b94608da6bd0dff6fb837ab66c798a7a88a13e3fc2fcee5803d5bf79f7a8e6a631bbadb4943bf764d460d43fb6

Description

Tags

keyword:cryptography logpath:SSProve

Published: 28 Nov 2024

Dependencies (6)

  1. coq-mathcomp-experimental-reals >= "1.7.0"
  2. coq-mathcomp-analysis >= "1.7.0"
  3. coq-mathcomp-analysis >= "1.0.0" & < "1.7.0"
  4. coq-mathcomp-ssreflect (>= "2.1.0" & < "2.3~")
  5. coq-equations (>= "1.3+8.18")
  6. coq (>= "8.18" & < "8.21~")

Dev Dependencies (2)

  1. coq-deriving (>= "0.2.0" & < "dev")
  2. coq-extructures (>= "0.4.0" & < "dev")

Used by

None

Conflicts

None