Installation

Théo Zimmermann edited this page Apr 23, 2018 · 3 revisions

(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.

Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.