Zulip Chat Archive
Stream: general
Topic: Which channel is for basic questions?
Will King (Dec 12 2023 at 22:17):
Hello all, I am just getting started with Lean 4 and would like to know where I can post introductory level questions?
Kevin Buzzard (Dec 12 2023 at 22:19):
Will King (Dec 12 2023 at 22:19):
Thanks
Last updated: May 02 2025 at 03:31 UTC