Zulip Chat Archive
Stream: new members
Topic: Sailor
Sailor (Aug 20 2021 at 21:20):
Hi Im Sailor, highschooler , and im playing the NNG to learn Lean proof system and (maybe ?) prove more complex theorems and learn maths between :)
Last updated: May 02 2025 at 03:31 UTC