hello world

Stream: new members

[duck_master]

Hi Lean community! I'm duck_master, a teenager and mathematics enthusiast, and I am excited to learn how to use Lean properly! (I'm using a pseudonym here, and also I am quite the Lean noob.) Personal website is here for the curious.

[Hanting Zhang]

: o hello fellow young duck, welcome!

[Eric Wieser]

This is a new fire we are currently working on putting out; the problem is not that the instruction are wrong or that you are not following them correctly, but that our tools suddenly stopped working

[Eric Wieser]

#general > The cache doesn't work is the thread

[Eric Wieser]

If you're itching to get started, you can skip the lake exe cache get step, but you'll have to wait a long time for things to build