Coq.CoqPlatform.Beta latest version (2025.1.0 CC0-1.0) by Coq ( )
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 Beta with winget, use the following command:
We do not host, edit or modify any of the Coq.CoqPlatform.Beta files. The download links are from the official sources.
| Version | Minimum OS | Architecture | Installer Type | Installer URL | SHA256 |
|---|---|---|---|---|---|
| 8.14.0 | 10.0.0.0 | N/A | nullsoft | Download | 7C988D3BA76D0C3EC840A17974C6CD785439794B787F61D5673CDAC43FE4C2D8 |
| 2025.1.0 | N/A | N/A | nullsoft | Download | FF74E25B9D4E5A48C6D4508962C72B545613EC5BC172F0B3B6DC1D91414CE90C |