Paket: coqide (8.4~beta+dfsg-4 und andere)

[ Quellcode: coq  ]

Experimentelles Paket

Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.

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.4~beta+dfsg-3) [alpha, sh4]

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

  dep: coq (= 8.4~beta+dfsg-4) [nicht alpha, sh4]

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

  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) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Die 2D-Vektorgrafikbibliothek Cairo

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

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

• dep: libcoq-ocaml-unb18 [alpha, sh4]

  virtuelles Paket, bereitgestellt durch libcoq-ocaml

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

  Generische-Schrift-Konfigurationsbibliothek (Laufzeitbibliothek)

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

  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) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Bibliothek GDK-PixBuf

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

  GLib - Bibliothek von C-Routinen

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

  GTK+ - Bibliothek für grafische Benutzeroberflächen

• dep: liblablgtk2-ocaml-yeug0 [nicht amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Paket nicht verfügbar

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

  Gestaltung und Anzeige internationalisierten Textes

• dep: ocaml-base-nox-3.12.1 [nicht amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Paket nicht verfügbar

coqide herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	8.4~beta+dfsg-3	317,5 kB	1.432,0 kB	[Liste der Dateien]
amd64	8.4~beta+dfsg-4	1.027,5 kB	3.449,0 kB	[Liste der Dateien]
armel	8.4~beta+dfsg-4	912,1 kB	2.431,0 kB	[Liste der Dateien]
armhf	8.4~beta+dfsg-4	317,4 kB	1.432,0 kB	[Liste der Dateien]
i386	8.4~beta+dfsg-4	811,0 kB	2.360,0 kB	[Liste der Dateien]
ia64	8.4~beta+dfsg-4	317,7 kB	1.369,0 kB	[Liste der Dateien]
kfreebsd-amd64	8.4~beta+dfsg-4	1.027,9 kB	3.393,0 kB	[Liste der Dateien]
kfreebsd-i386	8.4~beta+dfsg-4	811,8 kB	2.304,0 kB	[Liste der Dateien]
mips	8.4~beta+dfsg-4	318,3 kB	1.432,0 kB	[Liste der Dateien]
mipsel	8.4~beta+dfsg-4	318,4 kB	1.432,0 kB	[Liste der Dateien]
powerpc	8.4~beta+dfsg-4	914,8 kB	2.520,0 kB	[Liste der Dateien]
s390	8.4~beta+dfsg-4	317,5 kB	1.432,0 kB	[Liste der Dateien]
s390x	8.4~beta+dfsg-4	318,4 kB	1.432,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	8.4~beta+dfsg-3	318,3 kB	1.432,0 kB	[Liste der Dateien]
sparc	8.4~beta+dfsg-4	903,4 kB	2.444,0 kB	[Liste der Dateien]