Zulip Chat Archive
Stream: Geographic locality
Topic: Canberra, AU
Kim Morrison (Aug 25 2025 at 02:29):
I realised there's never been a Canberra topic in this channel.
I'm here, and happy to talk to anyone local interested in Lean. :-)
Last updated: Dec 20 2025 at 21:32 UTC