Zulip Chat Archive
Stream: Lean Together 2026
Topic: Hannah Scholz - Formalisation of CW complexes
Jireh Loreaux (Jan 22 2026 at 18:43):
Discussion thread for the talk.
Last updated: Feb 28 2026 at 14:05 UTC
Discussion thread for the talk.
Last updated: Feb 28 2026 at 14:05 UTC