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: Dec 20 2025 at 21:32 UTC