Zulip Chat Archive Stream: Lean Together 2024 Topic: Overview of homology in mathlib - Joël Riou Joël Riou (Jan 10 2024 at 15:52): Slides homology.pdf Last updated: Feb 28 2026 at 14:05 UTC