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