lake binary missing

Stream: new members

[Jesse Slater]

I am trying to follow the lean4 installation process from the lean manual. I installed elam, which seemed to work, and set it to use the stable release. That seemed to work, but now when I try to use lake, it gives this error: image.png

[Reid Barton]

leanprover/lean:nightly is Lean 3. However you set that, you should go and insert a 4 after lean.

[Reid Barton]

(And lake didn't exist in Lean 3.)