Lean 3 installation on Macbook M1

Stream: new members

[Marley Vogne]

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]

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.