Coq Platform release with Coq 8.20

We are delighted to announce the 2025.01.0 release of the Coq Platform featuring Coq 8.20.1 and the usual selection of packages, with installers for Windows and MacOS. The Platform now embeds the language server for the VSCoq plugin, which should make it easier to use Coq with VSCoq plugin for VSCode. See the release notes for more details.

The Coq Platform is made possible thanks to the work of Michael Soegtrop and Romain Tetley.

Note that this is the last Coq Platform release, next release will be renamed Rocq Platform and include the latest Rocq 9.0.

1 Like