README.doc

                           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)