Zulip Chat Archive

Stream: new members

Topic: Lean 3 installation on Macbook M1

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: Dec 20 2023 at 11:08 UTC