package rocq-coqprime
Certifying prime numbers in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v9.2u.tar.gz
sha256=9a2ab4f67e25705219346fb118a3e43fca749a5932ae2996dae8620c541453f3
Description
Published: 18 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.9.0"
Conflicts (1)
-
coq-coqprime
!= version
On This Page