Coq Platform 下载 - Windows 版

Coq Platform 是什么

Coq Platform 是一款适用于 Windows / Linux 的实用工具：正式证明管理系统。

它通过 GitHub Releases 分发，本站不托管或镜像安装包。包管理器 将该应用关联到 https://github.com/rocq-prover/platform，这是项目开源的有力证据。

Coq Platform 适合需要正式证明管理系统的用户。作为一款实用工具，它提供图形界面，安装后可直接从启动台打开。

核心功能

功能与用途来自 公开元数据和项目说明，具体以官方文档为准。

• 正式证明管理系统。
• 适合文件、压缩、截图、剪贴板等日常小工具需求。
• 以桌面应用形式安装，支持通用二进制。

Coq Platform 适合谁用

Coq Platform 适合需要正式证明管理系统的用户。如果你在 Windows / Linux 上寻找一款实用工具，并且希望用一条命令完成安装与后续升级，它值得先试。

安装量与热度

最近 30 天通过包管理器安装 4 次，过去 12 个月累计 190 次。

下载

Windows

日期	版本	大小	架构
2026-07-30	2026.07.0	514.9 MB	x64	下载
2026-03-19	2025.08.3	505.8 MB	x64	下载
2026-02-24	2025.08.2	505.8 MB	x64	下载
2026-02-05	2025.08.1	505.8 MB	x64	下载
2026-01-07	2025.08.0	505.8 MB	x64	下载
2025-02-06	2025.01.0	783.6 MB	x64	下载
2024-10-28	2024.10.0	706.9 MB	x64	下载
2024-01-30	2023.11.0	575.5 MB	x64	下载
2023-09-18	2023.03.0	513.6 MB	x64	下载

Linux

日期	版本	大小	架构
2024-01-30	2023.11.0	769.2 MB	x64	下载
2023-09-18	2023.03.0	308 KB	x64	下载

和同类应用怎么选

如果你更看重安装量、依赖数量或开源许可，可以对照上面概览表里的数字；需要逐项对比时，见下方替代品与对比页。

与同类应用对比

只对比公开元数据，不做主观推荐；需要逐项对比时见对比页。

与同类应用对比

应用	版本	许可证	架构	近 30 天安装
Coq Platform	2025.01.0,8.20.2025.01	—	通用二进制	4
Inform	10.1.2,1_82_3	—	通用二进制	4
Productive	1.17.4	—	通用二进制	4
Desktop Composer	1.2	—	通用二进制	4

实用工具中的类似应用

同一分类中最接近的应用，按介绍相似度和安装量排序。它们是相关工具，并非确认可互换的替代品；人工挑选的正面对比请见对比页。

所属分类：实用工具