package coq-coqprime
Certifying prime numbers in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v9.2.tar.gz
sha256=e5590e5690ca1bc0836b0a2d93199594033a302a95a6c914fe352090b92eff23
Description
Published: 10 Sep 2026
Dependencies (3)
- coq-bignums
-
coq
>= "9.2.0" & < "9.3.0~" - ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page