Paket: coq-theories (8.12.0-3 und andere)

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)
Stéphane Glondu (QS-Seite)
Enrico Tassi (QS-Seite)

Externe Ressourcen:

Homepage [coq.inria.fr]

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.

Markierungen: Software-Entwicklung: Bibliotheken, Feld: Mathematik, Rolle: Anwendungsdaten

Andere Pakete mit Bezug zu coq-theories

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: coq-8.12.0+4.11.1

virtuelles Paket, bereitgestellt durch coq

rec: coq (>= 8.0)

Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)

coq-theories herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	8.12.0-3+b3	35.646,3 kB	280.422,0 kB	[Liste der Dateien]
arm64	8.12.0-3+b3	23.365,1 kB	166.283,0 kB	[Liste der Dateien]
armel	8.12.0-3+b3	23.353,0 kB	166.204,0 kB	[Liste der Dateien]
armhf	8.12.0-3+b3	23.358,1 kB	166.196,0 kB	[Liste der Dateien]
i386	8.12.0-3+b3	34.411,8 kB	259.191,0 kB	[Liste der Dateien]
mips64el	8.12.0-3+b3	23.361,8 kB	166.287,0 kB	[Liste der Dateien]
mipsel	8.12.0-3+b3	23.354,3 kB	166.204,0 kB	[Liste der Dateien]
ppc64el	8.12.0-3+b3	23.359,8 kB	166.283,0 kB	[Liste der Dateien]