Elan Version Manager (e/elan-init.rb)
Homebrew formula for installing and managing the Lean Theorem Prover version manager. Use this to distribute CLI tools via macOS package managers.
- Repository
- homebrew-core
- Language
- ruby
- SPDX licence
- BSD-2-Clause
- Quality score (dated snapshot)
- 9.4/10
- Category
- dev-tools
Review source and licence terms before reuse. View on the service