GitHub repository: 0x-Inf/mathlib
Primary language: Lean
Description: Lean mathematical components library