[ Quellcode: coqprime ]
Paket: coqprime-tools (8.15-2 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.15-2+b1)
- Primality certification for Coq (library)
-
- dep: libecm1 (>= 7.0.5+ds)
- factor integers using the Elliptic Curve Method -- lib
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- 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 | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 8.15-2+b1 | 132,3 kB | 765,0 kB | [Liste der Dateien] |
| arm64 | 8.15-2+b1 | 130,7 kB | 821,0 kB | [Liste der Dateien] |
| armhf | 8.15-2+b1 | 129,3 kB | 735,0 kB | [Liste der Dateien] |
| i386 | 8.15-2+b1 | 133,6 kB | 767,0 kB | [Liste der Dateien] |
| ppc64el | 8.15-2+b1 | 133,1 kB | 821,0 kB | [Liste der Dateien] |
| s390x | 8.15-2+b1 | 129,5 kB | 761,0 kB | [Liste der Dateien] |