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