coq-coqprime

Certifying prime numbers in Coq

opam install coq-coqprime.1.0.1
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.7~ & < 8.8~) & coq-bignums
source
https://github.com/thery/coqprime/archive/v8.7.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqprime/coq-coqprime.1.0.1