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.
Publisher’s description
What is Coq?
Coq is an open-source program for Windows from The Coq Team. It is written in Shell.
Installation and requirements
Official installers exist for 64-bit as EXE (NSIS). Installation asks for administrator rights. The installer supports unattended (silent) installation.
Updates and version history
The current version is 2025.08.3, released on April 9, 2026. 5 versions are listed since September 21, 2021, each with links to its own installer files. That is about 1.1 releases a year.
Popularity and file types
The source code on GitHub (rocq-prover/platform) has 247 stars.
Project description on GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Documented silent install
Cons
- No native ARM64 build
- Installation needs administrator rights
In short: Coq is an open-source Windows tool for 64-bit PCs. Administrators can deploy it unattended.
Is Coq safe to download?
- The file is served by github.com, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Open the VirusTotal report for this hash - The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 5 versions ›5 versions over 5 years · about 1.1 a year
| Version | Date | Size | Files |
|---|---|---|---|
| 2025.08.3Latest | April 9, 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | February 19, 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | February 17, 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | January 28, 2022 | — | Any CPU EXE (NSIS) |
| 8.13.2 | September 21, 2021 | — | Any CPU EXE (NSIS) |
Install from the command line
Silent install ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SRelated guide: How to use winget: install and update apps
Information
- Publisher
- The Coq Team
- Licence
- CC0-1.0
- Price
- Free
- Source code
- github.com/rocq-prover/platform
- Written in
- Shell
- Requires
- Windows 11 / 10
- Architecture
- 64-bit
- Installer
- EXE (NSIS)
- Version
- 2025.08.3
- Released
- April 9, 2026
- Added to the catalogue
- September 21, 2021
- Versions listed
- 5
- Updates / year
- 1.1
- GitHub stars
- 247
- GitHub forks
- 56
- Website
- github.com
- winget ID
- Coq.CoqPlatform
Ratings and reviews
No reviews yet. Be the first to rate it.
Frequently asked questions
Is Coq free?
Yes. Coq is open-source software under the CC0-1.0 licence.
Is Coq safe to download?
The download comes from github.com, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
How do I install Coq with winget?
Open PowerShell or Windows Terminal and run the winget command shown on this page. winget downloads the official installer and checks its SHA256 hash before running it.
Can Coq be installed silently?
Yes. The silent install page lists the exact command for each installer.
Does Coq run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 64-bit version through emulation.
Where can I download an older version of Coq?
The versions page lists all 5 versions with links to their official installer files, back to September 21, 2021.