Zulip Chat Archive
Stream: Geographic locality
Topic: Meridian, Idaho , USA
John Baker (Oct 06 2021 at 20:48):
Just getting started with Lean. Will lurk and learn until I can ask sensible questions.
Last updated: Feb 28 2026 at 14:05 UTC
Just getting started with Lean. Will lurk and learn until I can ask sensible questions.
Last updated: Feb 28 2026 at 14:05 UTC