The Coq development team is pleased to announce the release of Coq 8.9.1, available at https://coq.inria.fr/download
Source, as well as installers for Windows and MacOS, are available at https://github.com/coq/coq/releases/tag/V8.9.1
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.