package coq-coqprime
Certifying prime numbers in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.20.tar.gz
sha256=13cd94a90e4869f22bb00e30ea48faec24bf1698205e6e31b46baf8376bab1c0
Description
Published: 19 Dec 2024
Dependencies (3)
- coq-bignums
-
coq
>= "8.20" & < "9.1.0~" - ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page