coq-coqprime

Certifying prime numbers in Coq

opam install coq-coqprime.1.0.3
homepage
http://coqprime.gforge.inria.fr/
license
LGPL
bugs tracker
http://coqprime.gforge.inria.fr/
dependencies
coq >= 8.8~ & coq-bignums
source
https://github.com/thery/coqprime/archive/v8.8.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqprime/coq-coqprime.1.0.3