Dear Coq community,
On behalf of the Coq development team, the release manager of Coq 8.16, and the Coq Platform team, we are happy to announce the immediate availability of the Coq Platform 2022.09.0 release.
The latest version of Coq has been updated from 8.15.2 to 8.16.0, with a beta package pick.
Many new packages have been added. In particular, Itauto, mathcomp-algebra-tactics and mathcomp-word join the "full" level, and MetaCoq, Bedrock2 and Fiat-crypto join the "extended" level. See Release 2022.09.0 with Coq 8.16.0 and beta package collection · coq/platform · GitHub for the complete list of additions.
The main supported version is:
- Coq 8.16.0 with a new (beta) package collection.
Several compatibility versions with Coq 8.12 to 8.15 are available, including one for Coq 8.15 with a package collection that tries to be as similar as possible to the Coq 8.16.0 pick.
Installers for Coq 8.16 and Coq 8.15 with the beta package pick are available for Windows, macOS, and Linux (a Snap installer, that should be updated soon to include Coq 8.16).
You can also install the Coq Platform using opam-based scripts, which give you access to the main supported version, as well as any of the many compatibility versions.
To learn about the Coq Platform and get access to the installers, please refer to:
We expect a new Platform release (2022.09.1) to happen in about 2 weeks, with a finalized package pick.