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.20.tar.gz
sha256=13cd94a90e4869f22bb00e30ea48faec24bf1698205e6e31b46baf8376bab1c0

Description

Published: 19 Dec 2024

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. coq-fiat-crypto

Conflicts

None