Paket: coqide (8.16.1+dfsg-1 und andere)

[ Quellcode: coq  ]

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

• dep: coq (= 8.16.1+dfsg-1+b2)

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

• dep: libc6 (>= 2.35)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libcairo2 (>= 1.12.0)

  2D-Vektorgrafikbibliothek Cairo

• dep: libfontconfig1 (>= 2.12.6)

  Generische Schriftkonfigurationsbibliothek - Laufzeit

• dep: libfreetype6 (>= 2.2.1)

  Schrift-Engine FreeType 2, Laufzeitbibliothek

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  Bibliothek GDK-PixBuf

• dep: libglib2.0-0 (>= 2.35.9)

  GLib - Bibliothek von C-Routinen

• dep: libgtk-3-0 (>= 3.11.5)

  GTK - Bibliothek für grafische Benutzeroberflächen

• dep: libgtksourceview-3.0-1 (>= 2.91.4)

  Laufzeitbibliothek für das GTK+-Widget für Syntaxmarkierung

• dep: libpango-1.0-0 (>= 1.14.0)

  Gestaltung und Anzeige internationalisierten Textes

coqide herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	8.16.1+dfsg-1+b2	1.946,7 kB	9.846,0 kB	[Liste der Dateien]