Coq 8.9.1

The Coq development team is pleased to announce the release of Coq 8.9.1, available at

Source, as well as installers for Windows and MacOS, are available at

OPAM packages are available too.

Main changes with respect to 8.9.0 are as follows:

  • some quality-of-life bug fixes,
  • many improvements to the documentation,
  • a critical bug fix related to primitive projections and native_compute,
  • several additional Coq libraries shipped with the Windows installer.