Zulip Chat Archive
Stream: new members
Topic: Hey guys
Maria (Nov 03 2024 at 06:41):
The tutorial at https://leanprover-community.github.io/mathematics_in_lean/C01_Introduction.html told me to register so I did
I have no idea what I'm doing, but I'll figure things out I think :octopus:
Daniel Weber (Nov 03 2024 at 06:51):
Welcome! :wave:
Last updated: May 02 2025 at 03:31 UTC