GitHub repository: oleg-alexandrov/mathlib4
Description: The math library of Lean 4