search

leanprover / elan

The Lean version manager
Apache License 2.0
316 stars 35 forks source link

Wrong instructions: Brew package is called elan-init, not elan #80

Closed unhyperbolic closed 2 years ago

unhyperbolic commented 2 years ago

See here: https://formulae.brew.sh/cask/elan https://formulae.brew.sh/formula/elan-init