[ Quellcode: coq ]
Paket: coq-theories (8.9.0-1)
Links für coq-theories
Debian-Ressourcen:
Quellcode-Paket coq herunterladen:
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Benjamin Barenblat (QS-Seite)
- Ralf Treinen (QS-Seite)
- Samuel Mimram (QS-Seite)
- Stéphane Glondu (QS-Seite)
- Enrico Tassi (QS-Seite)
Externe Ressourcen:
- Homepage [coq.inria.fr]
Ähnliche Pakete:
Beweis-Assistent für Logik höherer Ordnung (Theorien)
Coq ist ein Beweis-Assistent für Logik höherer Ordnung. Er ermöglicht die Entwicklung von Computerprogrammen, die konsistent mit ihrer formalen Spezifikation sind. Er wird mittels Objective Caml und Camlp5 entwickelt.
Dieses Paket stellt Theorien bereit, auf deren Basis neue Beweise geführt werden können, einschließlich Theorien für arithmetische und Boole-sche Werte.
Andere Pakete mit Bezug zu coq-theories
|
|
|
|
-
- dep: coq-8.9.0+4.05.0
- virtuelles Paket, bereitgestellt durch coq
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- rec: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
coq-theories herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 29.040,7 kB | 216.590,0 kB | [Liste der Dateien] |
| arm64 | 19.890,3 kB | 130.479,0 kB | [Liste der Dateien] |
| armhf | 19.874,8 kB | 130.396,0 kB | [Liste der Dateien] |
| i386 | 27.749,0 kB | 196.706,0 kB | [Liste der Dateien] |