Paket: coqide (8.12.0-3 und andere)

Links für coqide

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 (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.

Markierungen: Software-Entwicklung: IDE, Feld: Mathematik, Implementiert in: implemented-in::ocaml, interface::graphical, Benutzer-Schnittstellen: X-Window-System, Rolle: role::program, scope::application, GUI-Baukasten: GTK, Ncurses TUI, Zweck: use::checking, x11::application

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)
dep: libc6 (>= 2.29) [nicht armel, mips64el, mipsel]

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libcairo2 (>= 1.12.0) [nicht armel, mips64el, mipsel]

2D-Vektorgrafikbibliothek Cairo
dep: libfontconfig1 (>= 2.12.6) [nicht armel, mips64el, mipsel]

Generische Schriftkonfigurationsbibliothek - Laufzeit
dep: libfreetype6 (>= 2.2.1) [nicht armel, mips64el, mipsel]

Schrift-Engine FreeType 2, Laufzeitbibliothek
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [nicht armel, mips64el, mipsel]

Bibliothek GDK-PixBuf

oder libgdk-pixbuf2.0-0 (>= 2.22.0)

Bibliothek GDK-PixBuf - Übergangspaket
dep: libglib2.0-0 (>= 2.35.9) [nicht armel, mips64el, mipsel]

GLib - Bibliothek von C-Routinen
dep: libgtk-3-0 (>= 3.1.4) [nicht armel, mips64el, mipsel]

GTK - Bibliothek für grafische Benutzeroberflächen
dep: libgtksourceview-3.0-1 (>= 2.91.4) [nicht armel, mips64el, mipsel]

Laufzeitbibliothek für das GTK+-Widget für Syntaxmarkierung
dep: libpango-1.0-0 (>= 1.14.0) [nicht armel, mips64el, mipsel]

Gestaltung und Anzeige internationalisierten Textes

coqide herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	8.12.0-3+b3	1.835,2 kB	9.275,0 kB	[Liste der Dateien]
arm64	8.12.0-3+b3	2.119,7 kB	10.649,0 kB	[Liste der Dateien]
armel	8.12.0-3+b3	45,7 kB	111,0 kB	[Liste der Dateien]
armhf	8.12.0-3+b3	1.696,1 kB	6.255,0 kB	[Liste der Dateien]
i386	8.12.0-3+b3	1.682,6 kB	7.257,0 kB	[Liste der Dateien]
mips64el	8.12.0-3+b3	45,6 kB	111,0 kB	[Liste der Dateien]
mipsel	8.12.0-3+b3	45,7 kB	111,0 kB	[Liste der Dateien]
ppc64el	8.12.0-3+b3	1.912,5 kB	9.983,0 kB	[Liste der Dateien]