coq-coqprime

Certifying prime numbers in Coq

opam install coq-coqprime.1.0.0
homepage
http://coqprime.gforge.inria.fr/
license
MIT
bugs tracker
https://gforge.inria.fr/tracker/?func=add&group_id=163&atid=733
dependencies
coq >= 8.5~
source
https://gforge.inria.fr/frs/download.php/file/35520/coqprime_8.5b.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqprime/coq-coqprime.1.0.0