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!