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.
luna elliott (Sep 07 2025 at 00:15):
I fear this thread is dead but I'm in Manchester and up for an irl work group.
Last updated: Dec 20 2025 at 21:32 UTC