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 Beta?
Coq Beta is an open-source program for Windows from Coq. 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 March 19, 2026. 3 versions are listed since November 14, 2021, each with links to its own installer files. That is about 0.7 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 Beta is an open-source Windows tool for 64-bit PCs. Administrators can deploy it unattended.
Is Coq Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 3 versions ›3 versions over 4 years · about 0.7 a year
| Version | Date | Size | Files |
|---|---|---|---|
| 2025.08.3Latest | March 19, 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | February 10, 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | November 14, 2021 | — | Any CPU EXE (NSIS) |
Install from the command line
Silent install ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SRelated guide: How to use winget: install and update apps
Information
- Publisher
- Coq
- 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
- March 19, 2026
- Added to the catalogue
- November 14, 2021
- Versions listed
- 3
- Updates / year
- 0.7
- GitHub stars
- 247
- GitHub forks
- 56
- Website
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Ratings and reviews
No reviews yet. Be the first to rate it.
Frequently asked questions
Is Coq Beta free?
Yes. Coq Beta is open-source software under the CC0-1.0 licence.
Is Coq Beta 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 Beta 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 Beta be installed silently?
Yes. The silent install page lists the exact command for each installer.
Does Coq Beta 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 Beta?
The versions page lists all 3 versions with links to their official installer files, back to November 14, 2021.