eLxr packages [ bianca ]
[ Quellcode: coqprime ]
Paket: coqprime-tools (8.20.1-1 und andere)
Links für coqprime-tools
Quellcode-Paket coqprime herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
Primality certification for Coq (tools)
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 curvecertificates of primality
Coq is a proof assistant for higher-order logic.
Andere Pakete mit Bezug zu coqprime-tools
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libcoq-coqprime (= 8.20.1-1+b4)
- Primality certification for Coq (library)
-
- dep: libecm1 (>= 7.0.6+ds)
- factor integers using the Elliptic Curve Method -- lib
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
-
- dep: ocaml-base-nox
- transitional package for ocaml-base
- oder ocaml-base
- Runtime system for OCaml bytecode executables
coqprime-tools herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 8.20.1-1+b4 | 139,9 kB | 824,0 kB | [Liste der Dateien] |
| arm64 | 8.20.1-1+b4 | 138,6 kB | 880,0 kB | [Liste der Dateien] |