elan-init
Formula Utilities v4.2.1
Lean Theorem Prover installer and version manager
Install 1
App in
Terminal
$
brew install 'elan-init'
Dependencies
Build Dependencies
Conflicts With
lean-cli
Install Statistics 43.0% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 130 | 684 | 1.6K |
| Avg Daily Installs | 4 | 8 | 4 |