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