Install Coq

About Coq

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.

What's new in 2025.08.3

Rocq Platform – Minor Release (2025.08.3) This is a minor release that fixes the issue "Rocq cannot find libraries in Rocq Platform" when using a shell. Bug fixes - Fix issue where Rocq could not locate libraries when used from a shell environment The remainder of the release notes is identical to the previous release. Recommended binary installers - Windows (64-bit) installer for Rocq 9.0 - macOS (ARM) installer for Rocq 9.0 Note: Snap is no longer supported (a replacement is in progress). General information See README for general information and installation instructions. See Charter for the concept and goals of Rocq Platform. See CEP52 for the Rocq and Rocq Platform release cycle. See macOS, Linux, and Windows for detailed installation and usage instructions. Major enhancements None. Included Versions of Coq Recommended Rocq version - Rocq 9.0.1 with the first package collection from August 2025 Compatibility Coq versions The compatibility versions are intended to help porting packages from an older to the latest release. They can be installed in parallel with other versions of Coq (Coq Platform will create separate opam switches for each Coq version). - Coq 8.20.1 with the first package collection from January 2025 - Coq 8.19.2 with the first package collection from October 2024 - Coq 8.18.0 with the first package collection from November 2023 - Coq 8.17.1 with the first package collection from August 2023 - Coq 8.16.1 with an updated package collection from August 2023 which is as much as possible compatible with the first 8.17.1 package collection - Coq 8.16.1 with t...

Read release notes

Version history