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.12.zip
md5=bb5bf2a2ed624fecd6701926d585a9a8

Description

Published: 27 Aug 2020

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None