Package: coq-doc (8.1-3) [non-free]

[ Source: coq-doc  ]

documentation for Coq in html format

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 is a dummy package which will install the documentation in html and postscript formats.

Tags: Software Development: Documentation, Role: Metapackage

Other Packages Related to coq-doc

• dep: coq-doc-html

  documentation for Coq in html format

• dep: coq-doc-pdf

  documentation for Coq in pdf format

Download coq-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	5.4 kB	36.0 kB	[list of files]