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

Pakket: coqide (8.1.pl3+dfsg-1 en anderen)

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.

Tags: Softwareontwikkeling: IDE, Field: Wiskunde, Implemented in: OCaml, User Interface: X Window Systeem, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window Systeem: Application

Andere aan coqide gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • dep: coq (>= 8.0)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libatk1.0-0 (>= 1.20.0)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.7-1) [niet alpha, ia64]
    GNU C Bibliotheek: Gedeelde bibliotheken
    Ook een virtueel pakket geboden door: libc6-udeb
  • dep: libc6.1 (>= 2.7-1) [alpha, ia64]
    GNU C Bibliotheek: Gedeelde bibliotheken
    Ook een virtueel pakket geboden door: libc6.1-udeb
  • dep: libcairo2 (>= 1.2.4)
    The Cairo 2D vector graphics library
  • dep: libgcc1 (>= 1:4.3) [armel]
    GCC support bibliotheek
  • dep: libglib2.0-0 (>= 2.12.0)
    The GLib library of C routines
  • dep: libgtk2.0-0 (>= 2.12.0)
    The GTK+ graphical user interface library
  • dep: libncurses5 (>= 5.6+20071006-3)
    shared libraries for terminal handling
  • dep: libpango1.0-0 (>= 1.20.2)
    Layout and rendering of internationalized text
  • dep: tex-common (>= 1.10)
    common infrastructure for building and installing TeX

coqide downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha 8.1.pl3+dfsg-1+b2 2.410,6 kB9212 kB [overzicht]
amd64 8.1.pl3+dfsg-1+b2 5.108,7 kB17772 kB [overzicht]
arm 8.1.pl3+dfsg-1+b2 2.354,6 kB8900 kB [overzicht]
armel 8.1.pl3+dfsg-1+b2 2.359,7 kB8928 kB [overzicht]
hppa 8.1.pl3+dfsg-1+b2 2.389,2 kB9036 kB [overzicht]
i386 8.1.pl3+dfsg-1+b2 4.811,6 kB15712 kB [overzicht]
ia64 8.1.pl3+dfsg-1+b2 2.440,8 kB9564 kB [overzicht]
mips 8.1.pl3+dfsg-1+b2 2.379,9 kB9124 kB [overzicht]
mipsel 8.1.pl3+dfsg-1+b2 2.369,1 kB9124 kB [overzicht]
powerpc 8.1.pl3+dfsg-1+b2 5.374,0 kB16676 kB [overzicht]
s390 8.1.pl3+dfsg-1+b2 2.440,3 kB9112 kB [overzicht]
sparc 8.1.pl3+dfsg-1+b2 5.383,5 kB16740 kB [overzicht]