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: Dec 20 2025 at 21:32 UTC
I bet I'm the only Lean user on the Island but you never know.
Last updated: Dec 20 2025 at 21:32 UTC