Zulip Chat Archive

Stream: Geographic locality

Topic: Christchurch, New Zealand


Severen Redwood (Dec 04 2021 at 22:24):

Hi! I'm a maths and computer science undergraduate at the University of Canterbury in New Zealand. I would be quite surprised if anyone else is in here from NZ, let alone from Christchurch, but I'll see what happens.

Robert Culling (Aug 20 2022 at 20:21):

@Severen Redwood ! I'd like to get a group together for the summer to figure out how this works. If you're still interested in learning about lean, then let me know.


Last updated: Dec 20 2023 at 11:08 UTC