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.
厂商介绍（英语）
Coq是什么软件？
Coq是The Coq Team推出的一款开源的Windows软件。主要使用Shell开发。
安装与系统要求
官方提供适用于64位系统的安装包，格式为EXE（NSIS）。安装时需要管理员权限。安装程序支持无人值守（静默）安装。
更新与历史版本
当前最新版本为2025.08.3，发布于2026年4月9日。本站收录了自2021年9月21日以来的5个版本，每个版本都附有对应安装包的下载链接。平均每年发布约1.1个版本。
热度与文件关联
GitHub上的源代码仓库（rocq-prover/platform）获得了247个星标。
GitHub项目简介: “Multi platform setup for Rocq, Rocq libraries and tools”
优点 / 不足
优点
- 开源：任何人都可以查看和编译源代码
- 有文档说明的静默安装参数
不足
- 没有原生ARM64版本
- 安装需要管理员权限
总结: Coq是一款适用于64位电脑的开源Windows软件。IT管理员可以进行无人值守部署。
Coq下载安全吗？
- 文件由厂商自己的域名github.com提供
- 下载链接使用HTTPS
- 已公布SHA256值，可校验文件完整性:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· 查看该哈希值的VirusTotal报告 - 链接尚未检测
- 源代码公开
- ExeAtlas不托管、不捆绑、不修改安装包
相关教程: Windows下如何校验文件的SHA256哈希值
最近版本
全部5个版本 ›5年内发布5个版本 · 平均每年约1.1个
| 版本 | 日期 | 大小 | 文件 |
|---|---|---|---|
| 2025.08.3最新版 | 2026年4月9日 | — | 64位 EXE（NSIS） |
| 2025.08.2 | 2026年2月19日 | — | 64位 EXE（NSIS） |
| 2025.1.0 | 2025年2月17日 | — | 64位 EXE（NSIS） |
| 8.14.1 | 2022年1月28日 | — | 通用架构 EXE（NSIS） |
| 8.13.2 | 2021年9月21日 | — | 通用架构 EXE（NSIS） |
命令行安装
静默安装 ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /S相关教程: winget使用教程：安装和更新软件
软件信息
- 厂商
- The Coq Team
- 许可
- CC0-1.0
- 价格
- 免费
- 源代码
- github.com/rocq-prover/platform
- 开发语言
- Shell
- 系统要求
- Windows 11 / 10
- 架构
- 64位
- 安装包类型
- EXE（NSIS）
- 版本
- 2025.08.3
- 发布日期
- 2026年4月9日
- 收录日期
- 2021年9月21日
- 收录版本数
- 5
- 年更新次数
- 1.1
- GitHub星标
- 247
- GitHub分叉数
- 56
- 官网
- github.com
- winget ID
- Coq.CoqPlatform
评分与评价
暂无评价，欢迎第一个评分。
常见问题
Coq是免费的吗？
是的。Coq是开源软件，采用CC0-1.0许可证。
Coq下载安全吗？
安装包来自github.com，该域名属于厂商本身；ExeAtlas不托管也不修改文件。可以将下载文件的SHA256值与本页显示的值比对，或查看该哈希值的VirusTotal报告。
如何用winget安装Coq？
打开PowerShell或Windows终端，运行本页提供的winget命令即可。winget会下载官方安装包，并在运行前校验其SHA256值。
Coq支持静默安装吗？
支持。静默安装页面列出了每个安装包对应的完整命令。
Coq能在ARM电脑（Windows on Arm）上运行吗？
没有ARM64版本；Windows 11 on Arm可以通过模拟运行64位版本。
在哪里下载Coq旧版本？
历史版本页面列出了全部5个版本（最早至2021年9月21日），均附有官方安装包链接。