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

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 package contains its documentation and tutorials in html format.

Tags: Software Development: Documentation, Made Of: HTML, Hypertext Markup Language, Role: Documentation