Package: coqide (8.1.pl3+dfsg-1 and others) [debports]

[ Source:  ]

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.

Other Packages Related to coqide

• dep: coq (>= 8.0)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libatk1.0-0 (>= 1.20.0)

  ATK accessibility toolkit

• dep: libc6 (>= 2.5-5)

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  Cairo 2D vector graphics library

• dep: libglib2.0-0 (>= 2.12.0)

  GLib library of C routines - transitional package

• dep: libgtk2.0-0 (>= 2.12.0)

  GTK graphical user interface library - old version

• dep: libncurses5 (>= 5.6+20071006-3)

  Package not available

• dep: libpango1.0-0 (>= 1.20.2)

  Layout and rendering of internationalized text (transitional package)

• dep: tex-common (>= 1.10)

  common infrastructure for building and installing TeX

Download coqide

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
m68k (unofficial port)	8.1.pl3+dfsg-1+b2	2,363.1 kB	8,880.0 kB	[list of files]