Installion's Lion Logo

Installion.co.uk

How To Install coq On Debian 8

To install coq just follow these instructions.

Install coq

proof assistant for higher-order logic (toplevel and compiler)Debian 8.0math8.4pl4dfsg-1
sudo apt-get install coq

Which will install coq and any other packages on which it depends.

Package Data

Packagecoq
Version8.4pl4dfsg-1
MaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Home pagehttp://coq.inria.fr/
Descriptionproof assistant for higher-order logic (toplevel and compiler)
Distrodebian
Releasejessie
Repomain
Sectionmath

Dependencies