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

Package: coqide (8.2.pl1+dfsg-3)

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.

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.2.pl1+dfsg-3)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libatk1.0-0 (>= 1.20.0) [amd64, i386, powerpc, sparc]
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.3.2) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.6-6~) [i386]
    dep: libc6 (>= 2.4) [powerpc]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libcairo2 (>= 1.2.4) [amd64, i386, powerpc, sparc]
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.4.0) [amd64, i386, powerpc, sparc]
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1) [amd64, i386, powerpc, sparc]
    FreeType 2 font engine, shared library files
  • dep: libglib2.0-0 (>= 2.16.0) [amd64, i386, powerpc, sparc]
    The GLib library of C routines
  • dep: libgtk2.0-0 (>= 2.12.0) [amd64, i386, powerpc, sparc]
    The GTK+ graphical user interface library
  • dep: liblablgtk2-ocaml
    runtime libraries for OCaml bindings for GTK+ version 2
  • dep: libpango1.0-0 (>= 1.14.0) [amd64, i386, powerpc, sparc]
    Layout and rendering of internationalized text
  • dep: ocaml-base-nox-3.11.1
    virtual package provided by ocaml-base-nox

Download coqide

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 6,385.1 kB21772 kB [list of files]
armel 2,353.9 kB8920 kB [list of files]
hppa 2,352.2 kB8920 kB [list of files]
i386 5,875.9 kB18564 kB [list of files]
ia64 2,352.5 kB8920 kB [list of files]
mips 2,352.5 kB8920 kB [list of files]
mipsel 2,352.5 kB8920 kB [list of files]
powerpc 6,430.4 kB19400 kB [list of files]
s390 2,352.5 kB8920 kB [list of files]
sparc 6,468.7 kB19600 kB [list of files]