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: May 02 2025 at 03:31 UTC