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.18.tar.gz
sha512=61aa57e9c01aa9d5a0feb408eae8428869e77b025da649399a161134433fad81474cea933772dead00ef36a7d81a15e13e6b25f9b0ef055b068ae4cd4ece81ba

Description

Published: 08 Oct 2023

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto

Conflicts

None