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.1.tar.gz
sha512=93645a4de866e2929afb95e521ea0e9614c80044f82c6c67bdea0aa1c364be4a5221a024c81787c9245242d69a5b7588a63800f1413578346800ae9cd2c2570a

Description

Tags

keyword:cryptography logpath:SSProve

Published: 15 Jul 2024

Dependencies (4)

  1. coq-mathcomp-analysis >= "1.0.0" & < "1.6~"
  2. coq-mathcomp-ssreflect (>= "2.1.0" & < "2.3~")
  3. coq-equations (>= "1.3+8.18")
  4. coq (>= "8.18" & < "8.20~")

Dev Dependencies (2)

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

Used by

None

Conflicts

None