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!

Last updated: Dec 20 2023 at 11:08 UTC