Paket: coqide (8.1.pl3+dfsg-1 und andere)

[ Quellcode: coq  ]

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.

This package provides CoqIde, a graphical user interface for developing proofs.

Markierungen: Software-Entwicklung: IDE, Feld: Mathematik, Implementiert in: OCaml, Benutzer-Schnittstellen: X-Window-System, Rolle: Programm, Zweck: Anwendung, GUI-Baukasten: GTK, Ncurses TUI, Zweck: Überprüfen, X-Window-System: Anwendung

Andere Pakete mit Bezug zu coqide

• dep: coq (>= 8.0)

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

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

  Die ATK-Zugänglichkeits-Programmsammlung

• dep: libc6 (>= 2.7-1) [nicht alpha, ia64]

  GNU C Library: Shared libraries
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libc6.1 (>= 2.7-1) [alpha, ia64]

  GNU C Library: Shared libraries
  auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb

• dep: libcairo2 (>= 1.2.4)

  Die 2D-Vektorgrafikbibliothek Cairo

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

  GCC Support-Bibliothek

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

  Die GLib-Bibliothek mit C-Routinen

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

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

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

  gemeinsam benutzte Bibliotheken für Terminalsteuerung

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

  Gestaltung und Anzeige internationalisierten Textes

• dep: tex-common (>= 1.10)

  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	8.1.pl3+dfsg-1+b2	2.410,6 kB	9.212,0 kB	[Liste der Dateien]
amd64	8.1.pl3+dfsg-1+b2	5.108,7 kB	17.772,0 kB	[Liste der Dateien]
arm	8.1.pl3+dfsg-1+b2	2.354,6 kB	8.900,0 kB	[Liste der Dateien]
armel	8.1.pl3+dfsg-1+b2	2.359,7 kB	8.928,0 kB	[Liste der Dateien]
hppa	8.1.pl3+dfsg-1+b2	2.389,2 kB	9.036,0 kB	[Liste der Dateien]
i386	8.1.pl3+dfsg-1+b2	4.811,6 kB	15.712,0 kB	[Liste der Dateien]
ia64	8.1.pl3+dfsg-1+b2	2.440,8 kB	9.564,0 kB	[Liste der Dateien]
mips	8.1.pl3+dfsg-1+b2	2.379,9 kB	9.124,0 kB	[Liste der Dateien]
mipsel	8.1.pl3+dfsg-1+b2	2.369,1 kB	9.124,0 kB	[Liste der Dateien]
powerpc	8.1.pl3+dfsg-1+b2	5.374,0 kB	16.676,0 kB	[Liste der Dateien]
s390	8.1.pl3+dfsg-1+b2	2.440,3 kB	9.112,0 kB	[Liste der Dateien]
sparc	8.1.pl3+dfsg-1+b2	5.383,5 kB	16.740,0 kB	[Liste der Dateien]