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: May 02 2025 at 03:31 UTC
Just getting started with Lean. Will lurk and learn until I can ask sensible questions.
Last updated: May 02 2025 at 03:31 UTC