package coq-coqprime

  1. Overview
  2. No Docs
Certifying prime numbers in Coq

Install

Dune Dependency

github.com Edit opam file Versions (14)

Authors

  1. L
    Laurent Théry

Maintainers

  1. T
    thery@sophia.inria.fr

Sources

v8.15.tar.gz
sha512=e0c8e02c7fc88d9ed182a224f29571dd7a953bbf9e892689c1f3bfaf42349a9c1b02bc83656fbe8cc3f1b6d78003780c38dc7a7d80ec8e422e51c89fa54e6cd5

Description

Published: 31 Mar 2022

Dependencies (3)

  1. coq-bignums
  2. coq >= "8.13~" & < "8.17"
  3. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto

Conflicts

None