[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Quellcode: coq  ]

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

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

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • 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-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
  • dep: libc6.1 (>= 2.7-1) [alpha, ia64]
    GNU C-Bibliothek: Dynamische Bibliotheken
    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 kB9212 kB [Liste der Dateien]
amd64 8.1.pl3+dfsg-1+b2 5 108,7 kB17772 kB [Liste der Dateien]
arm 8.1.pl3+dfsg-1+b2 2 354,6 kB8900 kB [Liste der Dateien]
armel 8.1.pl3+dfsg-1+b2 2 359,7 kB8928 kB [Liste der Dateien]
hppa 8.1.pl3+dfsg-1+b2 2 389,2 kB9036 kB [Liste der Dateien]
i386 8.1.pl3+dfsg-1+b2 4 811,6 kB15712 kB [Liste der Dateien]
ia64 8.1.pl3+dfsg-1+b2 2 440,8 kB9564 kB [Liste der Dateien]
mips 8.1.pl3+dfsg-1+b2 2 379,9 kB9124 kB [Liste der Dateien]
mipsel 8.1.pl3+dfsg-1+b2 2 369,1 kB9124 kB [Liste der Dateien]
powerpc 8.1.pl3+dfsg-1+b2 5 374,0 kB16676 kB [Liste der Dateien]
s390 8.1.pl3+dfsg-1+b2 2 440,3 kB9112 kB [Liste der Dateien]
sparc 8.1.pl3+dfsg-1+b2 5 383,5 kB16740 kB [Liste der Dateien]