← all formulas
elan-init
Lean Theorem Prover installer and version manager
- Version
- v4.2.1
- License
- Apache-2.0 OR MIT
- Tap
- homebrew/core
- Bottle
- available
- Revision
- —
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install elan-initAliases
elan