Zulip Chat Archive

Stream: new members

Topic: Lean 3 installation on Macbook M1


view this post on Zulip 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"

view this post on Zulip 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