[ experimental ]
[ Quellcode: coq ]
Paket: libcoq-core (9.1.0+dfsg-1)
Links für libcoq-core
Debian-Ressourcen:
Quellcode-Paket coq herunterladen:
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Benjamin Barenblat (QS-Seite)
- Julien Puydt (QS-Seite)
- Ralf Treinen (QS-Seite)
- Stéphane Glondu (QS-Seite)
Externe Ressourcen:
- Homepage [coq.inria.fr]
Ähnliche Pakete:
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
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 libcoq-core
|
|
|
|
-
- rec: coq
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
libcoq-core herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 1.112,1 kB | 5.695,0 kB | [Liste der Dateien] |
| arm64 | 1.112,1 kB | 5.695,0 kB | [Liste der Dateien] |
| ppc64el | 1.111,0 kB | 5.695,0 kB | [Liste der Dateien] |
| riscv64 | 1.109,7 kB | 5.695,0 kB | [Liste der Dateien] |
| s390x | 1.111,3 kB | 5.695,0 kB | [Liste der Dateien] |