Coq 8.9.0

The current version: Coq 8.9.0

For downloads (in particular to get installers for Windows and Mac OS, the PDF manual, or a tarball of the sources), please go to the release page on GitHub.

We also provide instructions on how to install Coq and related packages via OPAM step by step on MacOS and Linux.

Previous and development versions of Coq

The development version of Coq is browsable and downloadable from our Git repository using command: git clone

Most of the previous versions of Coq are available on GitHub or here.