Reference documentation

Two main documents are officially maintained by the Coq development team:

  • the Reference Manual, which is the complete, authoritative source of documentation for Coq;
  • the documentation of the Standard Library distributed with the system.

A PDF version of the reference manual can be downloaded from the the release page on GitHub.

Other documentation

Moreover, some users of Coq have published various documents that may be useful both to beginners and advanced users of Coq: