all options
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ] [  experimental  ]
[ Source: coq  ]

Package: coqide (8.3.pl4+dfsg-2)

Links for coqide


Debian Resources:

Download Source Package coq:


External Resources:

Similar packages:

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: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X Window System: Application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • enhances

Download coqide

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 5,491.1 kB18,520.0 kB [list of files]
armel 5,999.7 kB18,528.0 kB [list of files]
armhf 2,481.0 kB9,418.0 kB [list of files]
i386 5,112.5 kB15,972.0 kB [list of files]
ia64 2,477.6 kB9,418.0 kB [list of files]
kfreebsd-amd64 5,490.6 kB18,467.0 kB [list of files]
kfreebsd-i386 5,109.5 kB15,919.0 kB [list of files]
mips 2,477.7 kB9,418.0 kB [list of files]
mipsel 2,477.7 kB9,418.0 kB [list of files]
powerpc 5,509.1 kB16,571.0 kB [list of files]
s390 2,479.2 kB9,418.0 kB [list of files]
s390x 2,481.0 kB9,418.0 kB [list of files]
sparc 5,366.4 kB16,486.0 kB [list of files]