Zulip Chat Archive
Stream: new members
Topic: Montreal learning group
Mathieu Guay-Paquet (Jan 20 2026 at 19:40):
Hi! We have a group of people meeting this semester in Montreal to learn lean together. What would you suggest as a good channel/topic/etc. for us to communicate with each other?
Ruben Van de Velde (Jan 20 2026 at 19:55):
Frédéric Dupuis (Jan 20 2026 at 20:07):
Nice! Where/when is this happening?
Mathieu Guay-Paquet (Jan 20 2026 at 20:08):
It's happening at UQAM (at Lacim)
Mathieu Guay-Paquet (Jan 20 2026 at 20:11):
Sure, there's "geographic locality", but we're looking for something more like a seminar/conference/etc. channel
Kevin Buzzard (Jan 20 2026 at 21:20):
If you want to learn lean by working on a specific project together then you can just chat about it in #mathlib4 (and others will join in). But there's also the option of having your own channel.
Mathieu Guay-Paquet (Jan 20 2026 at 21:41):
Ah! In that case, could one of the admins create a channel (something like "Lean at Lacim 2026") for us, please? I don't have enough permissions myself
Mathieu Guay-Paquet (Jan 23 2026 at 13:20):
For cross-referencing purposes, I should mention that the channel now exists! :tada:
See: #Zulip meta > Montreal learning group
Last updated: Feb 28 2026 at 14:05 UTC