Zulip Chat Archive
Stream: new members
Topic: greatRay
greatRay (Dec 25 2020 at 21:12):
hi, i m new here.
Notification Bot (Dec 25 2020 at 21:26):
This topic was moved here from #general > options in user attributes by Bryan Gin-ge Chen
Bryan Gin-ge Chen (Dec 25 2020 at 21:27):
Welcome! I've moved your message to your own thread. Feel free to ask any questions about Lean in separate threads in #new members !
Last updated: May 02 2025 at 03:31 UTC