Coq.CoqPlatform latest version (2025.1.0 CC0-1.0) by The Coq Team ( )
Coq is a formal proof management system.
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.
To manually install Coq with winget, use the following command:
We do not host, edit or modify any of the Coq.CoqPlatform files. The download links are from the official sources.
| Version | Minimum OS | Architecture | Installer Type | Installer URL | SHA256 |
|---|---|---|---|---|---|
| 8.14.1 | 10.0.0.0 | N/A | nullsoft | Download | D45A07422C3CA017142515E8CEF7C995C280EBB107326398CCAE02AAC31D563E |
| 8.13.2 | 10.0.0.0 | N/A | nullsoft | Download | 42913CF2BD80B33796B79F76F7A49CDA806A7966110647E39E15943DD78D06D1 |
| 2025.1.0 | N/A | N/A | nullsoft | Download | FF74E25B9D4E5A48C6D4508962C72B545613EC5BC172F0B3B6DC1D91414CE90C |