lean (已禁用)
安装命令
brew install lean定理证明器
https://leanprover-community.github.io/
许可证： Apache-2.0
公式 JSON API： /api/formula/lean.json
公式代码： lean.rb 在 GitHub 上
支持提供瓶装（二进制包）安装
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| 64 位 linux | ✅ | |
当前版本
| 稳定版 | ✅ | 3.51.1 |
| 最新版 | ⚡️ | HEAD |
依赖项
| coreutils | 9.5 | GNU 文件、Shell 和文本实用程序 |
| gmp | 6.3.0 | GNU 多精度算术库 |
| jemalloc | 5.3.0 | 强调避免碎片化的 malloc 实现 |
当从源代码构建时依赖
| cmake | 3.30.2 | 跨平台构建工具 |
要求： macOS >= 10.14
冲突： elan-init
分析
| 安装（30天） | |
|---|---|
lean |
0 |
| 请求安装（30天） | |
lean |
0 |
| 构建错误（30天） | |
lean |
0 |
| 安装（90天） | |
lean |
24 |
| 请求安装（90天） | |
lean |
24 |
| 安装（365天） | |
lean |
311 |
lean --HEAD |
2 |
| 请求安装（365天） | |
lean |
282 |
lean --HEAD |
2 |
