prover9
安装命令
brew install prover9一阶和等式逻辑的自动定理证明器
https://www.cs.unm.edu/~mccune/prover9/
许可证: GPL-2.0-only
公式 JSON API: /api/formula/prover9.json
公式代码: prover9.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| catalina | ✅ | |
| mojave | ✅ | |
| high sierra | ✅ | |
| 64位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2009-11A |
分析
| 安装（30天） | |
|---|---|
prover9 |
9 |
| 请求安装（30天） | |
prover9 |
9 |
| 构建错误（30天） | |
prover9 |
0 |
| 安装（90天） | |
prover9 |
17 |
| 请求安装（90天） | |
prover9 |
17 |
| 安装（365天） | |
prover9 |
56 |
| 请求安装（365天） | |
prover9 |
56 |
