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: Dec 20 2023 at 11:08 UTC