leanprover-community/mathlib4
The math library of Lean 4
15 Releases
Latest: 6d ago
v4.32.0-rc1LatestPre-release
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4){kind=small}
github-actions[bot]·6d ago·June 19, 2026v4.31.0
github-actions[bot]·1w ago·June 15, 2026v4.31.0-rc2Pre-release
github-actions[bot]·2w ago·June 8, 2026v4.31.0-rc1Pre-release
github-actions[bot]·3w ago·May 29, 2026v4.30.0
github-actions[bot]·4w ago·May 26, 2026v4.30.0-rc2Pre-release
github-actions[bot]·2mo ago·April 18, 2026v4.29.1
github-actions[bot]·2mo ago·April 18, 2026v4.30.0-rc1Pre-release
github-actions[bot]·2mo ago·April 6, 2026v4.29.0
github-actions[bot]·2mo ago·March 31, 2026v4.29.0-rc8Pre-release
github-actions[bot]·3mo ago·March 25, 2026v4.29.0-rc7Pre-release
github-actions[bot]·3mo ago·March 24, 2026v4.29.0-rc6Pre-release
github-actions[bot]·3mo ago·March 10, 2026v4.29.0-rc4Pre-release
github-actions[bot]·3mo ago·March 5, 2026v4.29.0-rc3Pre-release
github-actions[bot]·3mo ago·March 2, 2026v4.29.0-rc2Pre-release
github-actions[bot]·4mo ago·February 25, 2026