GitHub repository: robertylewis/mathlib
Primary language: Lean
Description: Lean standard library