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分支數（Fork）
- 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日），都附有官方安裝檔連結。