Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)

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.

Release highlights:

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.

1 Like