GitHub repository: leanprover-community/mathlib4
Primary language: Lean
Created: 2021-05-09T07:52:02Z
Description: The math library of Lean 4