All Releases

Coq 8.20.0

This page describes Coq version 8.20, released on Sep 4, 2024. Go here for a list of all releases.

This is a major release of Coq.

Github release

Installation Instructions

The base proof assistant can be installed as an opam switch with the following commands:

opam update
opam switch create 4.14.1
opam install coq.8.20.0

Refer to the general install instructions for more information.

Source Distribution

  • Source tarball (.tar.gz) for compilation under Unix (including Linux and macOS X) and Microsoft Windows (including Cygwin).
  • Also available in .zip format.
  • Opam is a source-based distribution of OCaml, Rocq and many companion libraries and tools. Compilation and installation are automated by powerful package managers.
  • The official development repo is hosted on GitHub.

Changes

See the changelog in the reference manual.