[ Quellcode: coqprime ]
Paket: coqprime-tools (8.19-1 und andere)
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.17-1+b1) [ppc64]
- Primality certification for Coq (library)
- dep: libcoq-coqprime (= 8.19-1) [nicht ppc64]
-
- dep: libecm1 (>= 7.0.5+ds)
- factor integers using the Elliptic Curve Method -- lib
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [ppc64]
- Mehrfachgenaue, arithmetische Bibliothek
- dep: libgmp10 (>= 2:6.3.0+dfsg) [nicht ppc64]
-
- 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.19-1 | 133,9 kB | 781,0 kB | [Liste der Dateien] |
| arm64 | 8.19-1 | 132,9 kB | 837,0 kB | [Liste der Dateien] |
| armhf | 8.19-1 | 131,2 kB | 751,0 kB | [Liste der Dateien] |
| i386 | 8.19-1 | 135,3 kB | 783,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 8.17-1+b1 | 131,9 kB | 825,0 kB | [Liste der Dateien] |
| ppc64el | 8.19-1 | 134,8 kB | 837,0 kB | [Liste der Dateien] |
| riscv64 | 8.19-1 | 134,8 kB | 765,0 kB | [Liste der Dateien] |
| s390x | 8.19-1 | 132,1 kB | 781,0 kB | [Liste der Dateien] |