package coq-ssprove

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

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. S
    SSProve team

Maintainers

  1. P
    philipp@haselwarter.org

Sources

v0.2.3.tar.gz
sha512=3c5733f992b0141e648b175128fd1194990594c98700a2688db1626ffbdad775e42206abec047e1714a6960aae9bdb0d79133964907752208746fb61788bd017

Description

Tags

keyword:cryptography logpath:SSProve

Published: 07 Jan 2025

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.4~")
  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