package coq-coqprime
Certifying prime numbers in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.14.zip
md5=dae09ead7beab4ee29819d56a9e6ddd7
Description
Published: 17 Oct 2021
Dependencies (3)
- coq-bignums
-
coq
>= "8.14~" & < "8.17~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page