Filewatcher File Search File Search
Content Search
» » » » » »


documentation for Coq in pdf 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 <>.

This package contains its documentation and tutorials in pdf format.

Package version:8.1-3


coq-doc (8.1-3) unstable; urgency=low

  * Removed tetex-bin from build-dependencies, and added texlive-base,
    texlive-latex-extra, texlive-math-extra, texlive-lang-french and
    texlive-humanities, closes: #420591.

 -- Samuel Mimram <>  Sat, 14 Apr 2007 18:24:43 +0200

coq-doc (8.1-2) unstable; urgency=low

  * Uploading to unstable.

 -- Samuel Mimram <> 


This package was debianized by Fernando Sanchez <> on
Sun, 28 Nov 1999 19:42:06 +0100.

The Coq Reference Manual is a collective work from the Coq Development
Team whose members are listed in the file CREDITS of the Coq source
package. All related documents (the LaTeX and BibTeX sources, the
embedded png files, and the PostScript, PDF and html outputs) are
copyright (c) INRIA 1999-2

Browse inside coq-doc-pdf_8.1-3_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download coq-doc-pdf_8.1-3_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016