Paket: coqide (8.20.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.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]

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

  dep: coq (= 8.19.1+dfsg-3) [ppc64]

  dep: coq (= 8.20.1+dfsg-1) [amd64, arm64, ppc64el, riscv64, s390x]

  dep: coq (>= 8.0) [m68k]

• dep: libatk1.0-0 (>= 1.20.0) [m68k]

  ATK - Werkzeugsammlung zur Barrierefreiheit

• dep: libc6 (>= 2.38) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

  dep: libc6 (>= 2.5-5) [m68k]

• dep: libcairo2 (>= 1.12.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  2D-Vektorgrafikbibliothek Cairo

  dep: libcairo2 (>= 1.2.4) [m68k]

• dep: libfontconfig1 (>= 2.12.6) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  Generische Schriftkonfigurationsbibliothek - Laufzeit

• dep: libfreetype6 (>= 2.2.1) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  Schrift-Engine FreeType 2, Laufzeitbibliothek

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  Bibliothek GDK-PixBuf

• dep: libglib2.0-0 (>= 2.12.0) [m68k]

  GLib library of C routines - transitional package

• dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  GLib - Bibliothek von C-Routinen

• dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  GTK - Bibliothek für grafische Benutzeroberflächen

• dep: libgtk2.0-0 (>= 2.12.0) [m68k]

  GTK - Bibliothek für grafische Benutzeroberflächen - alte Version

• dep: libgtksourceview-3.0-1 (>= 2.91.4) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

• dep: libncurses5 (>= 5.6+20071006-3) [m68k]

  Paket nicht verfügbar

• dep: libpango-1.0-0 (>= 1.14.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  Gestaltung und Anzeige internationalisierten Textes

• dep: libpango1.0-0 (>= 1.20.2) [m68k]

  Gestaltung und Anzeige internationalisierten Textes (Übergangspaket)

• dep: tex-common (>= 1.10) [m68k]

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

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]
amd64	8.20.1+dfsg-1	1.884,7 kB	8.818,0 kB	[Liste der Dateien]
arm64	8.20.1+dfsg-1	2.196,4 kB	10.614,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	8.12.0-3+b3	45,7 kB	111,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	8.12.0-3+b3	45,6 kB	111,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	8.1.pl3+dfsg-1+b2	2.363,1 kB	8.880,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	8.19.1+dfsg-3	1.977,7 kB	11.703,0 kB	[Liste der Dateien]
ppc64el	8.20.1+dfsg-1	1.921,7 kB	9.654,0 kB	[Liste der Dateien]
riscv64	8.20.1+dfsg-1	1.946,8 kB	9.582,0 kB	[Liste der Dateien]
s390x	8.20.1+dfsg-1	1.928,3 kB	10.166,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	8.12.0-3+b3	45,6 kB	111,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	8.12.0-3+b3	45,7 kB	111,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	8.12.0-3+b3	45,6 kB	111,0 kB	[Liste der Dateien]