Zulip Chat Archive
Stream: Geographic locality
Topic: Newport, Isle of Wight, UK
Simon Beaumont (Jul 15 2024 at 10:03):
I bet I'm the only Lean user on the Island but you never know.
Last updated: Feb 28 2026 at 14:05 UTC
I bet I'm the only Lean user on the Island but you never know.
Last updated: Feb 28 2026 at 14:05 UTC