coq
安装命令
brew install coq高阶逻辑的证明辅助工具
许可证：LGPL-2.1-only
公式 JSON API：/api/formula/coq.json
公式代码：coq.rb 在 GitHub
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 8.19.2 |
| 最新版 | ⚡️ | HEAD |
依赖项
| gmp | 6.3.0 | GNU 多精度算术库 |
| ocaml | 5.2.0 | ML 家族的通用编程语言 |
| ocaml-findlib | 1.9.6 | OCaml 库管理器 |
| ocaml-zarith | 1.14 | OCaml 随机精度算术库 |
从源码构建时依赖
| dune | 3.16.0 | OCaml 的可组合构建系统 |
分析
| 安装（30天） | |
|---|---|
coq |
81 |
| 请求安装（30天） | |
coq |
79 |
| 构建错误（30天） | |
coq |
0 |
| 安装（90天） | |
coq |
604 |
| 请求安装（90天） | |
coq |
586 |
| 安装（365天） | |
coq |
2,290 |
coq --HEAD |
5 |
| 请求安装（365天） | |
coq |
2,190 |
coq --HEAD |
5 |
