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