elan-init
安装命令
brew install elan-init也称为： elan
Lean 理论证明器安装程序和版本管理器
https://github.com/leanprover/elan
许可证： Apache-2.0 或 MIT
公式 JSON API： /api/formula/elan-init.json
公式代码： elan-init.rb 在 GitHub
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64 位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 3.1.1 |
| 最新版 | ⚡️ | HEAD |
依赖项
| coreutils | 9.5 | GNU 文件、Shell 和文本实用工具 |
| gmp | 6.3.0 | GNU 多精度算术库 |
从源代码构建时依赖
| rust | 1.80.0 | 安全、并发、实用的语言 |
分析
| 安装（30天） | |
|---|---|
elan-init |
66 |
| 请求安装（30天） | |
elan-init |
66 |
| 构建错误（30天） | |
elan-init |
7 |
| 安装（90天） | |
elan-init |
320 |
| 请求安装（90天） | |
elan-init |
320 |
| 安装（365天） | |
elan-init |
2,131 |
elan-init --HEAD |
3 |
| 请求安装（365天） | |
elan-init |
2,131 |
elan-init --HEAD |
3 |
