Zulip Chat Archive
Stream: Leaning In!
Topic: channel events
Notification Bot (Jan 04 2025 at 06:57):
Web-public channel created by Johan Commelin. Description:
A get-together for the Lean community in EU/DE/Berlin. Pairs nicely with BOBKonf (https://bobkonf.de/)
Last updated: May 02 2025 at 03:31 UTC