Installation - coq/coq GitHub Wiki

(Part of the Coq FAQ)

What is the license of Coq?

Coq is distributed under the GNU Lesser General Public License (LGPL) 2.1.

Where can I find the sources of Coq?

This GitHub repository contains the development sources for Coq. Release packages of Coq are available as tar.gz'ed packages from the releases section of this repository.

On which platforms is Coq available?

Compiled binaries are available for MacOS and Windows. Linux and MacOS users can install Coq using OPAM, Nix, brew or their preferred package manager. The sources can be easily compiled on all platforms supporting OCaml.

Official instructions

Installation links by platform:

Installation medium: