Zulip Chat Archive
Stream: Lean Together 2026
Topic: Joël Riou - Formalization of homotopy theory in Lean
Rémy Degenne (Jan 23 2026 at 16:30):
Discussion topic for the talk.
Joël Riou (Jan 23 2026 at 17:02):
Slides
homotopy.pdf
Joël Riou (Jan 23 2026 at 17:02):
GitHub project: https://github.com/joelriou/topcat-model-category
Last updated: Feb 28 2026 at 14:05 UTC