utensil.tngl.sh / config
Personal checklist for setting up a development environment. Inspired by mdo/config
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

Update mac.md

author
Utensil committer
GitHub date (May 20, 2022, 4:55 PM +0800) commit bfed65e1 parent a197cdc5
+1
+1
OS/mac.md
··· 48 48 # Install Lean 3 49 49 brew install elan mathlibtools 50 50 # Need to use HomeBrew for Rosetta if on M1 51 + # See https://leanprover-community.github.io/install/macos.html#m1-macs--apple-silicon 51 52 # /usr/local/bin/brew install elan mathlibtools 52 53 elan toolchain install stable 53 54 elan default stable