Dead link for lean install at leanprover community

Stream: general

[Luigi Massacci]

It would appear that in the switch to the new lean-lang website the link at https://leanprover-community.github.io/ with the instructions to download lean (https://docs.lean-lang.org/lean4/doc/quickstart.html) has died. image.png

[Sebastian Ullrich]

Sorry about that, it should work again now (may take some time to propagate)