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.10.zip
md5=ae2f432db8d3cf5297370a7508b9e5f5

Description

Published: 14 Jan 2020

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None