Package: coq (8.0pl3-2)

Links for coq

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Ralf Treinen (QA Page)
Sven Luther (QA Page)
Remi Vanicat (QA Page)
Stefano Zacchiroli (QA Page)
Samuel Mimram (QA Page)

Similar packages:

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

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 packages provides coqtop, a command line interface to Coq.

A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.

Tags: Software Development: Compiler, Field: Mathematics, Implemented in: OCaml, User Interface: Command Line, Text-based Interactive, Role: Program, Scope: Utility, Interface Toolkit: Ncurses TUI

Other Packages Related to coq

depends

recommends

suggests

dep: coq-libs (= 8.0pl3-2)

proof assistant for higher-order logic (theories)
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: libncurses5 (>= 5.4-5)

Shared libraries for terminal handling

rec: coqide

proof assistant for higher-order logic (gtk interface)

or proofgeneral-coq

ProofGeneral support for coq

sug: cle

Wrap any command-line driven tool with readline
sug: ledit

line editor for interactive programs
sug: ocaml-nox (>= 3.08)

ML language implementation with a class-based object system
sug: proofgeneral-coq

ProofGeneral support for coq

Download coq

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha	2,931.5 kB	12928 kB	[list of files]
amd64	6,394.9 kB	24104 kB	[list of files]
arm	2,787.1 kB	12204 kB	[list of files]
hppa	2,897.1 kB	12460 kB	[list of files]
i386	5,968.6 kB	21332 kB	[list of files]
ia64	3,076.7 kB	14068 kB	[list of files]
mips	2,859.7 kB	12972 kB	[list of files]
mipsel	2,850.9 kB	12956 kB	[list of files]
powerpc	6,786.6 kB	22652 kB	[list of files]
s390	2,903.2 kB	12496 kB	[list of files]
sparc	6,882.6 kB	22996 kB	[list of files]