Dear Coq community,
the Coq development team is proud to announce the immediate
availability of the Coq Platform version 2021.02.0
The Coq platform is a distribution of the Coq proof assistant together
with a selection of Coq libraries. It provides a set of scripts to
compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS,
Windows and many Linux distributions in a reliable way with consistent
results. See  for the project homepage, and  for the new
instructions for getting Coq.
This release is based on Coq 8.13.1 and provides binary installers
for Windows and Linux. We plan to release 2021.02.1 as soon as the
MacOS installer is ready. The following point releases, starting with
2021.02.2, will focus on including more Coq libraries (and no
Starting with Coq 8.14 we will stop announcing the release of Coq (to
the larger public) and rather announce a major release of the Coq
Platform, likely named 2021.07, which will bundle the new version of
Coq with many useful libraries ready to use. See  for more details.
The Coq Platform project would not have been possible without the work
of M. Soegtrop. We take the occasion to welcome the Coq Community to
contribute to this project (as a start by joining the Zulip chat ).
The Coq Development Team
 GitHub - coq/platform: Multi platform setup for Coq, Coq libraries and tools
 Install Coq | The Coq Proof Assistant
 ceps/052-platform-release-cycle.md at master · coq/ceps · GitHub