Coq

Download the latest version of Coq at coq.inria.fr.

Linux etc.

*nix users can use the package manager of their host system.

• Ubuntu and Debian based systems: sudo apt install coq
• RedHat and Suse based systems: sudo yum install coq
• etc.

Mac OS X

In a terminal, type:

opam install coq

N.B.: If not done already, e.g., to install OCaml, type:

opam init
eval `opam config env`

Then when opening (C-x C-f) a file whose name is suffixed with .v, the Coq mode should be entered. Type C-c C-n and the 3 canonical windows should appear.

Version

Created [15 Jan 2024]