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: May 02 2025 at 03:31 UTC
I bet I'm the only Lean user on the Island but you never know.
Last updated: May 02 2025 at 03:31 UTC