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.19.tar.gz
sha512=69ab774b265f689aa7a12c45b2f7acb43b0015253cf2bc3efc830b826fb0ea90c0318e0f7ea8e3d4158b815c13071d1d9d9367bc5639e6525cd291aa9a2344c7

Description

Published: 19 Mar 2024

Dependencies (3)

  1. coq-bignums
  2. coq >= "8.14" & < "8.21"
  3. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto

Conflicts

None