- libcoq-coqprime (= 8.19-2+b2)
- ocaml-base-nox | ocaml-base
- libc6 (>= 2.34)
- libecm1 (>= 7.0.5+ds)
- libgmp10 (>= 2:6.3.0+dfsg)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
.
Coq is a proof assistant for higher-order logic.
Installed Size: 838.7 kB
Architectures: arm64 amd64