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 -e
Official manifest sources
External links ↗
Downloads for version 2025.08.2
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| x64 github.com | nullsoft |
4444BF4EF1039415F950CBAFB970E0064E4392354E5508634E3D89EB339213C2
|
Download |
Version archive
4 older versions
Version 2025.1.0
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| x64 github.com | nullsoft |
FF74E25B9D4E5A48C6D4508962C72B545613EC5BC172F0B3B6DC1D91414CE90C
|
Download |
Version 8.14.1
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| Neutral github.com | None · None |
D45A07422C3CA017142515E8CEF7C995C280EBB107326398CCAE02AAC31D563E
|
Download |
Version 8.13.2
| Installer | Details | SHA-256 | Download |
|---|---|---|---|
| Neutral github.com | None · None |
42913CF2BD80B33796B79F76F7A49CDA806A7966110647E39E15943DD78D06D1
|
Download |