Dear Coq community,
On behalf of the Coq development team, the release manager of Coq
8.15, and the Coq Platform team, we are happy to announce the
immediate availability of the Coq Platform version 2022.04.1.
- The latest release version of Coq has been updated from 8.15.1 to 8.15.2.
The main supported version is:
- Coq 8.15.2 with the same package collection as the 2022.04.0 release.
Several compatibility collections with Coq 8.12 to 8.14 are available.
You may install the Coq Platform using opam-based scripts, or Windows,
macOS and Snap binary installers (Coq 8.14 and 8.15 are available in
the Windows and macOS installers, and only 8.15 in the Snap
To learn about the Coq Platform and get access to the installers,
please refer to: