Install Coq | The Coq Proof Assistant

Coq is available through many package managers, including most Linux distribution package managers. However, in many cases, the available version is not the latest version. More importantly, these distributions might provide only a fraction of all the external packages available for Coq, thus requiring some manual compilation and installation to add additional packages.

Advanced users who want to install Coq and extend it with external packages can rely on opam or Nix.

Coq is also available as a Docker image.