About this app
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.
Install with Winget
Command line
PS> winget install --id Coq.CoqPlatform.Beta -e
Official manifest sources
External links ↗
Downloads for version 2025.08.3
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| x64 github.com | nullsoft |
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E
|
Download |
Version archive
2 older versions
Version 2025.1.0
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| x64 github.com | nullsoft |
FF74E25B9D4E5A48C6D4508962C72B545613EC5BC172F0B3B6DC1D91414CE90C
|
Download |
Version 8.14.0
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| Neutral github.com | None · None |
7C988D3BA76D0C3EC840A17974C6CD785439794B787F61D5673CDAC43FE4C2D8
|
Download |