Zulip Chat Archive
Stream: Geographic locality
Topic: Columbia, SC
Utku Okur (Jan 30 2023 at 22:26):
I am at novice level!
Kevin Buzzard (Jan 30 2023 at 22:46):
Lean is sufficiently new that we were all at novice level relatively recently :-)
Matthew Ballard (Sep 21 2023 at 17:49):
I am also (around) here.
Mac Malone (Sep 21 2023 at 17:56):
It is nice to see more people using Lean from the Carolinas!
Last updated: Dec 20 2023 at 11:08 UTC