Zulip Chat Archive
Stream: new members
Topic: getting started chat
Oleks (Aug 10 2025 at 20:22):
What is a good place for newcomers to Lean to ask questions? Would this channel be it?
Kenny Lau (Aug 10 2025 at 20:26):
Notification Bot (Aug 10 2025 at 20:31):
This topic was moved here from #general > getting started chat by Kyle Miller.
Last updated: Dec 20 2025 at 21:32 UTC