proof-general
安装命令
brew install proof-general基于 Emacs 的定理证明器通用接口
https://proofgeneral.github.io
许可证： GPL-3.0 或更高版本
公式 JSON API： /api/formula/proof-general.json
公式代码： proof-general.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| 64 位 linux | ✅ | |
当前版本
| 稳定版 | ✅ | 4.5 |
| 最新版 | ⚡️ | HEAD |
依赖项
| emacs | 29.4 | GNU Emacs 文本编辑器 |
从源码构建时依赖
| texi2html | 5.0 | 将 TeXinfo 文件转换为 HTML |
| texinfo | 7.1 | GNU 项目的官方文档格式 |
| HTML 文档可在：$HOMEBREW_PREFIX/share/doc/proof-general |
分析
| 安装（30天） | |
|---|---|
proof-general |
9 |
| 请求安装（30天） | |
proof-general |
9 |
| 构建错误（30天） | |
proof-general |
0 |
| 安装（90天） | |
proof-general |
42 |
| 请求安装（90天） | |
proof-general |
42 |
| 安装（365天） | |
proof-general |
288 |
| 请求安装（365天） | |
proof-general |
288 |
