Stream: new members
Marley Vogne (Jan 17 2021 at 12:12):
Hi everybody I wanted to install Lean 3 on MacBook Air M1 and start playing with it but the "curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh
" command in the terminal returns "cpu unknown arm64"
Kevin Buzzard (Jan 17 2021 at 12:15):
Thanks for reporting this. Are you following the instructions at https://leanprover-community.github.io/install/macos_details.html ? It looks like you might be.
Last updated: May 15 2021 at 23:13 UTC