mathlib
The math library of Lean 4
Displaying 1-20 of 113 versions of mathlib
Sort by
Date
- Not a part of any version track.
4c1356a2 hours agoReleased on September 15, 2026 at 1:56:35PMCommit 4c1356a builds on its recent leanprover/lean4:v4.34.0v4.34.02.0 GB Build archive size: 2019954740 bytes. - Not a part of any version track.
5ed2965v4.34.016 hours agoReleased on September 15, 2026 at 12:29:41AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0 - Not a part of any version track.
85e3a25v4.34.0-rc225 days agoReleased on August 21, 2026 at 3:44:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0-rc2 - Not a part of any version track.
0df444av4.33.125 days agoReleased on August 21, 2026 at 12:04:53PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.1 - Not a part of any version track.
de5ce8av4.34.0-rc1a month agoReleased on August 11, 2026 at 12:21:07AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.34.0-rc1 - Not a part of any version track.
db584cdv4.33.0a month agoReleased on August 10, 2026 at 9:12:31AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.0 - Not a part of any version track.
51e6992v4.33.0-rc2a month agoReleased on August 3, 2026 at 2:29:46PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.0-rc2 - Not a part of any version track.
905b958v4.32.22 months agoReleased on July 28, 2026 at 4:36:13PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.2 - Not a part of any version track.
520045av4.32.12 months agoReleased on July 23, 2026 at 9:50:32AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.1 - Not a part of any version track.
79d0395v4.33.0-rc12 months agoReleased on July 16, 2026 at 1:47:53AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.0-rc1 - Not a part of any version track.
81a5d25v4.32.02 months agoReleased on July 13, 2026 at 3:46:04PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.0 - Not a part of any version track.
aaedc74v4.32.0-rc1-patch13 months agoReleased on June 28, 2026 at 6:04:23PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.0-rc1 - Not a part of any version track.
360da6fv4.32.0-rc13 months agoReleased on June 18, 2026 at 11:59:56PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.0-rc1 - Not a part of any version track.
fabf563v4.31.03 months agoReleased on June 15, 2026 at 2:22:22PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.31.0 - Not a part of any version track.
d90090fv4.31.0-rc23 months agoReleased on June 8, 2026 at 6:06:51PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.31.0-rc2 - Not a part of any version track.
d568c8cv4.31.0-rc14 months agoReleased on May 29, 2026 at 1:23:40PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.31.0-rc1 - Not a part of any version track.
c5ea003v4.30.04 months agoReleased on May 26, 2026 at 6:25:31PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.30.0 - Not a part of any version track.
5450b53v4.30.0-rc25 months agoReleased on April 18, 2026 at 10:41:35AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.30.0-rc2 - Not a part of any version track.
1f9fffdv4.28.15 months agoReleased on April 17, 2026 at 9:53:42AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.1 - Not a part of any version track.
5e932f9v4.29.15 months agoReleased on April 17, 2026 at 9:50:38AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.1