The Coq Proof Assistant

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.

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.