chore: update MacOS instructions to remove Homebrew references

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

51 stars 119 forks source link

Closed mattrobball closed 2 months ago

mattrobball commented 2 months ago

Homebrew elan-init lags in version and can be confusing to find. Change the detailed install instructions to reference the released installers.

semorrison commented 2 months ago

I think we should explicitly discourage using homebrew still, otherwise people will.

If you're happy with my suggested change (or not!) please go ahead and merge.