GitHub repository: pevogam/mathlib4
Description: The math library of Lean 4