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

Paket: coqide (8.2.pl1+dfsg-3 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 Camlp5.

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.2.pl1+dfsg-3) [nicht m68k]
    proof assistant for higher-order logic (toplevel and compiler)
    dep: coq (>= 8.0) [m68k]
  • dep: hurd [hurd-i386]
    GNU Hurd
    auch ein virtuelles Paket, bereitgestellt durch hurd-udeb
  • dep: libatk1.0-0 (>= 1.20.0) [nicht alpha, armel, hppa, ia64, mips, mipsel, s390]
    Die ATK-Zugänglichkeits-Programmsammlung
  • dep: libc0.1 (>= 2.3.2) [kfreebsd-amd64, kfreebsd-i386]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb
  • dep: libc0.3 (>= 2.9) [hurd-i386]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc0.3-udeb
  • dep: libc6 (>= 2.3.2) [amd64]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
    dep: libc6 (>= 2.3.6-6~) [i386]
    dep: libc6 (>= 2.4) [powerpc]
    dep: libc6 (>= 2.5-5) [m68k]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libcairo2 (>= 1.2.4) [nicht alpha, armel, hppa, ia64, mips, mipsel, s390]
    Die 2D-Vektorgrafikbibliothek Cairo
  • dep: libfontconfig1 (>= 2.4.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    Generische-Schrift-Konfigurationsbibliothek (Laufzeitbibliothek)
  • dep: libfreetype6 (>= 2.2.1) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    FreeType 2 Font Engine, Shared Library Dateien.
  • dep: libglib2.0-0 (>= 2.12.0) [m68k]
    Die GLib-Bibliothek mit C-Routinen
    dep: libglib2.0-0 (>= 2.16.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
  • dep: libgtk2.0-0 (>= 2.12.0) [nicht alpha, armel, hppa, ia64, mips, mipsel, s390]
    Die GTK+-Bibliothek für grafische Benutzungsoberflächen
  • dep: liblablgtk2-ocaml [nicht m68k]
    runtime libraries for OCaml bindings for GTK+ version 2
  • dep: libncurses5 (>= 5.6+20071006-3) [m68k]
    gemeinsam benutzte Bibliotheken für Terminalsteuerung
  • dep: libpango1.0-0 (>= 1.14.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    Gestaltung und Anzeige internationalisierten Textes
    dep: libpango1.0-0 (>= 1.20.2) [m68k]
  • dep: ocaml-base-nox-3.11.1 [nicht m68k]
    virtuelles Paket, bereitgestellt durch ocaml-base-nox
  • dep: tex-common (>= 1.10) [m68k]
    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.2.pl1+dfsg-3 2 352,5 kB8920 kB [Liste der Dateien]
amd64 8.2.pl1+dfsg-3 6 385,1 kB21772 kB [Liste der Dateien]
armel 8.2.pl1+dfsg-3 2 353,9 kB8920 kB [Liste der Dateien]
hppa 8.2.pl1+dfsg-3 2 352,2 kB8920 kB [Liste der Dateien]
hurd-i386 8.2.pl1+dfsg-3 5 684,5 kB18344 kB [Liste der Dateien]
i386 8.2.pl1+dfsg-3 5 875,9 kB18564 kB [Liste der Dateien]
ia64 8.2.pl1+dfsg-3 2 352,5 kB8920 kB [Liste der Dateien]
kfreebsd-amd64 8.2.pl1+dfsg-3 6 383,9 kB21716 kB [Liste der Dateien]
kfreebsd-i386 8.2.pl1+dfsg-3 5 871,5 kB18516 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 8.1.pl3+dfsg-1+b2 2 363,1 kB8880 kB [Liste der Dateien]
mips 8.2.pl1+dfsg-3 2 352,5 kB8920 kB [Liste der Dateien]
mipsel 8.2.pl1+dfsg-3 2 352,5 kB8920 kB [Liste der Dateien]
powerpc 8.2.pl1+dfsg-3 6 430,4 kB19400 kB [Liste der Dateien]
s390 8.2.pl1+dfsg-3 2 352,5 kB8920 kB [Liste der Dateien]
sparc 8.2.pl1+dfsg-3 6 468,7 kB19600 kB [Liste der Dateien]