» Ubuntu » Packages » lucid (10.04LTS) » doc » coq-doc
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ Source: coq-doc  ]

Package: coq-doc (8.2pl1-1) [multiverse]

Links for coq-doc


Ubuntu Resources:

Download Source Package coq-doc:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Samuel Mimram
  • Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

documentation for Coq

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

Other Packages Related to coq-doc

  • depends
  • recommends
  • suggests
  • enhances

Download coq-doc

Download for all available architectures
Architecture Package Size Installed Size Files
all 36.5 kB76.0 kB [list of files]