Paket: coqide (8.3.pl3+dfsg-1~bpo60+1) [backports]

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

Andere Pakete mit Bezug zu coqide

• dep: coq (= 8.3.pl3+dfsg-1~bpo60+1)

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

• dep: libatk1.0-0 (>= 1.29.3) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Die ATK-Zugänglichkeits-Programmsammlung

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb

• dep: libc6 (>= 2.7) [amd64, i386, powerpc]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libcairo2 (>= 1.2.4) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Die 2D-Vektorgrafikbibliothek Cairo

• dep: libcoq-ocaml-2n499 [i386, kfreebsd-i386, powerpc]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-3ldl2 [amd64, kfreebsd-amd64]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-cg3k8 [armel, ia64, mips, mipsel, s390]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libfontconfig1 (>= 2.8.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Generische-Schrift-Konfigurationsbibliothek (Laufzeitbibliothek)

• dep: libfreetype6 (>= 2.2.1) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  FreeType 2 Font Engine, Shared Library Dateien.

• dep: libglib2.0-0 (>= 2.16.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Die GLib-Bibliothek mit C-Routinen

• dep: libgtk2.0-0 (>= 2.12.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Die GTK+-Bibliothek für grafische Benutzungsoberflächen

• dep: liblablgtk2-ocaml-h3pg1 [amd64, kfreebsd-amd64]

  Paket nicht verfügbar

• dep: liblablgtk2-ocaml-kc4f2 [armel, ia64, mips, mipsel, s390]

  Paket nicht verfügbar

• dep: liblablgtk2-ocaml-t1zm6 [i386, kfreebsd-i386, powerpc]

  Paket nicht verfügbar

• dep: libpango1.0-0 (>= 1.14.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Gestaltung und Anzeige internationalisierten Textes

• dep: ocaml-base-nox-3.11.2

  Paket nicht verfügbar

coqide herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	5.410,6 kB	18.300,0 kB	[Liste der Dateien]
armel	2.425,4 kB	9.264,0 kB	[Liste der Dateien]
i386	4.998,1 kB	15.660,0 kB	[Liste der Dateien]
ia64	2.427,0 kB	9.264,0 kB	[Liste der Dateien]
kfreebsd-amd64	5.409,3 kB	18.302,0 kB	[Liste der Dateien]
kfreebsd-i386	4.996,5 kB	15.630,0 kB	[Liste der Dateien]
mips	2.426,9 kB	9.264,0 kB	[Liste der Dateien]
mipsel	2.425,4 kB	9.264,0 kB	[Liste der Dateien]
powerpc	5.433,7 kB	16.372,0 kB	[Liste der Dateien]
s390	2.425,1 kB	9.264,0 kB	[Liste der Dateien]