[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.0pl3-2)

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: Software Development: IDE, Field: Mathematics, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • dep: coq (>= 8.0)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libatk1.0-0 (>= 1.9.0)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.3.5-1) [not alpha, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
  • dep: libcairo2 (>= 1.0.2-2)
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.3.0)
    generic font configuration library - runtime
  • dep: libglib2.0-0 (>= 2.10.0) [amd64]
    The GLib library of C routines
    dep: libglib2.0-0 (>= 2.8.5) [not amd64]
  • dep: libgtk2.0-0 (>= 2.8.0)
    The GTK+ graphical user interface library
  • dep: libncurses5 (>= 5.4-5)
    Shared libraries for terminal handling
  • dep: libpango1.0-0 (>= 1.10.3) [not amd64]
    Layout and rendering of internationalized text
    dep: libpango1.0-0 (>= 1.12.0) [amd64]
  • dep: libx11-6
    X11 client-side library
  • dep: libxcursor1 (>> 1.1.2)
    X cursor management library
  • dep: libxext6
    X11 miscellaneous extension library
  • dep: libxi6
    X11 Input extension library
  • dep: libxinerama1
    X11 Xinerama extension library
  • dep: libxrandr2
    X11 RandR extension library
  • dep: libxrender1 (>= 1:0.9.0.2)
    X Rendering Extension client library

Download coqide

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 1,341.1 kB6436 kB [list of files]
amd64 3,575.6 kB13852 kB [list of files]
arm 1,297.8 kB6148 kB [list of files]
hppa 1,334.8 kB6276 kB [list of files]
i386 3,360.9 kB12100 kB [list of files]
ia64 1,365.2 kB6744 kB [list of files]
mips 1,323.3 kB6368 kB [list of files]
mipsel 1,314.2 kB6364 kB [list of files]
powerpc 3,802.0 kB12740 kB [list of files]
s390 1,355.7 kB6324 kB [list of files]
sparc 3,883.4 kB12936 kB [list of files]