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: Dec 20 2023 at 11:08 UTC
Just getting started with Lean. Will lurk and learn until I can ask sensible questions.
Last updated: Dec 20 2023 at 11:08 UTC