Paket: coqide (8.12.0-3 und andere) [debports]

Links für coqide

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [coq.inria.fr]

Beweis-Assistent für Logik höherer Ordnung (Gtk-Schnittstelle)

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 enthält CoqIde, eine grafische Benutzerschnittstelle zur Entwicklung von Beweisen.

Andere Pakete mit Bezug zu coqide

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: coq (= 8.12.0-3+b3)

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

coqide herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	8.12.0-3+b3	45,6 kB	111,0 kB	[Liste der Dateien]