Installation of Coq on Linux

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

You can install CoqIDE either as a package or by compiling it form sources.

Installation from packages

Some distributions, like ArchLinux, include up-to-date Coq packages. Other distributions, like Debian, include very outdated ones. In that case, it is not recommended to use the distribution's package manager but to use opam (https://coq.inria.fr/opam/www/using.html) or Nix instead.

To check that the installation is successful, run the command coqc -v.

To check that CoqIDE is correctly installed, run the command:

coqide &

You may want to change the default key bindings for CoqIDE.

To install Proof-General, refer to the official Proof-General website.

Installation from sources

This is documented in INSTALL.

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.