fluiddynamics/coq repository overview

                       The Coq documentation
                       =====================

The Coq documentation includes:

• a reference manual;
• a generic tutorial on Coq;
• a tutorial on recursive types;
• a document presenting the Coq standard library;
• a list of questions/answers in the FAQ style

All these documents are available online from the Coq official site (http://coq.inria.fr⁠), either as PS/PDF files or as HTML documents.

The sources of the documentation are available along with the sources of the Coq proof assistant. It is released under the Open Publication License (see file doc/LICENSE in the sources of Coq)