[ Quellcode: coqprime ]
Paket: coqprime-tools (8.18-1)
Links für coqprime-tools
Debian-Ressourcen:
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-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libcoq-coqprime (= 8.18-1)
- Primality certification for Coq (library)
-
- dep: libecm1 (>= 7.0.5+ds)
- factor integers using the Elliptic Curve Method -- lib
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Mehrfachgenaue, arithmetische Bibliothek
-
- dep: ocaml-base-nox
- transitional package for ocaml-base
- oder ocaml-base
- Runtime system for OCaml bytecode executables
coqprime-tools herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
amd64 | 134,0 kB | 782,0 kB | [Liste der Dateien] |
arm64 | 132,9 kB | 838,0 kB | [Liste der Dateien] |
armhf | 131,2 kB | 752,0 kB | [Liste der Dateien] |
i386 | 135,4 kB | 784,0 kB | [Liste der Dateien] |
ppc64el | 134,9 kB | 838,0 kB | [Liste der Dateien] |
s390x | 132,2 kB | 782,0 kB | [Liste der Dateien] |