[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  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)
    GNU C Library: Shared libraries
  • 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.8.5)
    The GLib library of C routines
  • 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)
    Layout and rendering of internationalized text
  • 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
m68k 1,311.0 kB6136 kB [list of files]