Zulip Chat Archive

Stream: Geographic locality

Topic: Sydney, Australia

Stuart Hungerford (Sep 22 2022 at 08:59):

Any other Lean users in Sydney, Australia?

Floris van Doorn (Sep 22 2022 at 09:01):

Yes: https://leanprover.zulipchat.com/#narrow/stream/224796-Geographic-locality/topic/Sydney.2C.20AU

Stuart Hungerford (Sep 24 2022 at 05:34):

Thanks!

Notification Bot (Apr 22 2025 at 09:54):

2 messages were moved from this topic to #Geographic locality > Sydney, AU by Patrick Massot.

Last updated: May 02 2025 at 03:31 UTC