Zulip Chat Archive

Stream: Geographic locality

Topic: Ghent, Belgium

Willem vanhulle (Jul 23 2025 at 19:58):

Workshop was a success! @Ruben Van de Velde and @Michiel Huttener were present :)
Corrected notes from workshop https://github.com/wvhulle/learn-lean-riddles

Notification Bot (Jul 23 2025 at 19:59):

A message was moved here from #Geographic locality > Belgium by Willem vanhulle.

Willem vanhulle (Jul 23 2025 at 20:00):

Participants in Balkonzaal near Vrijdagmarkt, Gent

Willem vanhulle (Jul 26 2025 at 20:24):

Would there be people interested in a mini-course on Lean for absolute beginners in Ghent, Belgium in September / October 2025?

Last updated: Dec 20 2025 at 21:32 UTC