GitHub repository: leanprover-community/mathlib
Primary language: Lean
Created: 2019-01-30T23:32:13Z
Description: Lean 3's obsolete mathematical components library: please use mathlib4