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