Zulip Chat Archive
Stream: Geographic locality
Topic: Manchester, UK
Shashank Pathak (Oct 16 2022 at 12:47):
Hi, anybody in Manchester? I have done Lean for quite a bit of time but was out of touch for the past few months. Would be very happy if we could have a small group here and meet weekly or fortnightly.
Last updated: Dec 20 2023 at 11:08 UTC