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: May 02 2025 at 03:31 UTC