All Releases

Coq 8.19.2

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

This is a major release of Coq.

Github release

Changes

See the changelog in the reference manual for detailed changes, potential breakages and credits.

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

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.