The distribution

Experimental version : Coq 8.2alpha

This is a pre-release of Coq 8.2 (see CHANGES).

• Distribution :
  • Portable sources: coq-8.2alpha.tar.gz

    To compile Coq, you need:

    • Objective Caml (3.07 ≤ version ≤ 3.10.2 but 3.08.0).
      For Ocaml version >= 3.10.0, you will need to install Camlp5 (version 4.08, or >= 5.01 transitional)
    • a C compiler,
    • GNU Make

    To compile Coqide, you also need the LablGTK library, and the GTK+ development environment (see the LablGTK homepage).

  • Binaries:
    • Linux
      • Tar archive: coq-8.2alpha-Linux-i386.tar.gz (32 bits), coq-8.2alpha-Linux-x86_64.tar.gz (64 bits)

Objective Caml

Objective Caml is available through the Objective Caml web page.