leanprover-community/mathlib4
The math library of Lean 4
15 Releases
Latest: 6d ago
v4.32.0-rc1LatestPre-release
v4.31.0
v4.31.0-rc2Pre-release
v4.31.0-rc1Pre-release
v4.30.0
v4.30.0-rc2Pre-release
v4.29.1
v4.30.0-rc1Pre-release
v4.29.0
v4.29.0-rc8Pre-release
v4.29.0-rc7Pre-release
v4.29.0-rc6Pre-release
v4.29.0-rc4Pre-release
v4.29.0-rc3Pre-release
v4.29.0-rc2Pre-release
