GitHub repository: leanprover-fork/mathlib-backup
Primary language: Lean
Description: Lean standard library