Zulip Chat Archive
Stream: Lean Together 2026
Topic: Community news and workshop introduction
Patrick Massot (Jan 19 2026 at 13:58):
Slides are:
intro.pdf
Last updated: Feb 28 2026 at 14:05 UTC
Slides are:
intro.pdf
Last updated: Feb 28 2026 at 14:05 UTC