Paket: coqide (8.3.pl4+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: OCaml, Benutzer-Schnittstellen: interface::x11, role::program, Zweck: Anwendung, GUI-Baukasten: GTK, uitoolkit::ncurses, use::checking, X-Window-System: Anwendung

Andere Pakete mit Bezug zu coqide

• dep: coq (= 8.3.pl4+dfsg-1) [nicht ia64, mipsel]

  proof assistant for higher-order logic (toplevel and compiler)

  dep: coq (= 8.3.pl4+dfsg-1+b1) [ia64, mipsel]

• dep: libatk1.0-0 (>= 1.12.4) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  ATK - Werkzeugsammlung zur Barrierefreiheit

• 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, armel, i386, powerpc, sparc]

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

• dep: libcairo2 (>= 1.2.4) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  Die 2D-Vektorgrafikbibliothek Cairo

• dep: libcoq-ocaml-ehg05 [armel]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-m0xl3 [amd64, kfreebsd-amd64]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-nc3h8 [armhf, ia64, mips, mipsel, s390, s390x]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-s00f5 [i386, kfreebsd-i386, powerpc, sparc]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libfontconfig1 (>= 2.8.0) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  Generische-Schrift-Konfigurationsbibliothek (Laufzeitbibliothek)

• dep: libfreetype6 (>= 2.2.1) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  FreeType 2 Font Engine, Shared Library Dateien.

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC Support-Bibliothek

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  Bibliothek GDK-PixBuf

• dep: libglib2.0-0 (>= 2.24.0) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  GLib - Bibliothek von C-Routinen

• dep: libgtk2.0-0 (>= 2.24.0) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  GTK+ - Bibliothek für grafische Benutzeroberflächen

• dep: liblablgtk2-ocaml-v69e2 [armel, i386, kfreebsd-i386, powerpc, sparc]

  virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml

• dep: liblablgtk2-ocaml-yeug0 [armhf, ia64, mips, mipsel, s390, s390x]

  virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml

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

  virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml

• dep: libpango1.0-0 (>= 1.14.0) [nicht armhf, ia64, mips, mipsel, s390, s390x]

  Gestaltung und Anzeige internationalisierten Textes

• dep: ocaml-base-nox-3.12.1

  virtuelles Paket, bereitgestellt durch ocaml-base-nox

coqide herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	8.3.pl4+dfsg-1	5.484,0 kB	18.500,0 kB	[Liste der Dateien]
armel	8.3.pl4+dfsg-1	5.998,2 kB	18.515,0 kB	[Liste der Dateien]
armhf	8.3.pl4+dfsg-1	2.478,3 kB	9.409,0 kB	[Liste der Dateien]
i386	8.3.pl4+dfsg-1	5.106,6 kB	15.956,0 kB	[Liste der Dateien]
ia64	8.3.pl4+dfsg-1+b1	2.476,6 kB	9.409,0 kB	[Liste der Dateien]
kfreebsd-amd64	8.3.pl4+dfsg-1	5.484,5 kB	18.447,0 kB	[Liste der Dateien]
kfreebsd-i386	8.3.pl4+dfsg-1	5.104,1 kB	15.904,0 kB	[Liste der Dateien]
mips	8.3.pl4+dfsg-1	2.476,7 kB	9.409,0 kB	[Liste der Dateien]
mipsel	8.3.pl4+dfsg-1+b1	2.478,0 kB	9.409,0 kB	[Liste der Dateien]
powerpc	8.3.pl4+dfsg-1	5.505,2 kB	16.553,0 kB	[Liste der Dateien]
s390	8.3.pl4+dfsg-1	2.477,6 kB	9.409,0 kB	[Liste der Dateien]
s390x	8.3.pl4+dfsg-1	2.479,5 kB	9.409,0 kB	[Liste der Dateien]
sparc	8.3.pl4+dfsg-1	5.362,9 kB	16.467,0 kB	[Liste der Dateien]