GitHub repository: Colin166/mathlib4
Primary language: Lean
Description: The math library of Lean 4