Cannot install Lean

Stream: new members

[z z]

3.PNG
I cannot install lean. The error is as in the png. I come here for installation information.

[Notification Bot]

A message was moved here from #rss > Recent Commits to mathlib4:master by Floris van Doorn.

[Floris van Doorn]

It looks like you have an unstable internet connection. Try to get a more stable internet connection and try again.