Coq 8.8.0

The current version: Coq 8.8.0

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

Previous and development versions of Coq

The previous stable release of the Coq system is version 8.7.

The development version of Coq is browsable and downloadable from our Git repository using command: git clone https://github.com/coq/coq.git.

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