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.17.tar.gz
sha512=34ed7bd8495a6013aa0d214e1ee87e9bbdb63f719e5f756e485c53db1dfbfa643dfbf907abf812606232f46e59d4af01f28cf80bef169d47aa52d2b066b64f12

Description

Published: 01 Mar 2023

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto

Conflicts

None