mathlib
The math library of Lean 4
Displaying 1-20 of 89 versions of mathlib
Sort by
Date
- Not a part of any version track.
fab28e65 hours agoReleased on March 8, 2026 at 1:38:58PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0-rc4 - Not a part of any version track.
891dd96v4.29.0-rc44 days agoReleased on March 5, 2026 at 12:53:22AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0-rc4 - Not a part of any version track.
9b1001cv4.29.0-rc37 days agoReleased on March 2, 2026 at 12:47:45AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0-rc3 - Not a part of any version track.
8f07524v4.29.0-rc212 days agoReleased on February 24, 2026 at 11:55:16PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0-rc2 - Not a part of any version track.
33a7291v4.29.0-rc119 days agoReleased on February 17, 2026 at 11:08:40PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0-rc1 - Not a part of any version track.
8f9d9cfv4.28.020 days agoReleased on February 16, 2026 at 3:28:25PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
5352afcv4.28.0-rc1a month agoReleased on January 26, 2026 at 12:03:38PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0-rc1 - Not a part of any version track.
a3a10dbv4.27.0a month agoReleased on January 24, 2026 at 3:09:13AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.27.0 - Not a part of any version track.
32d2424v4.27.0-rc13 months agoReleased on December 14, 2025 at 6:52:35PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.27.0-rc1 - Not a part of any version track.
2df2f01v4.26.03 months agoReleased on December 13, 2025 at 10:35:53AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
ab09559v4.24.13 months agoReleased on November 27, 2025 at 1:49:19AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.1 - Not a part of any version track.
c98ae54v4.25.23 months agoReleased on November 25, 2025 at 10:34:10PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.2 - Not a part of any version track.
77b4526v4.25.13 months agoReleased on November 25, 2025 at 10:33:29PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.1 - Not a part of any version track.
d5c9558v4.26.0-rc24 months agoReleased on November 21, 2025 at 6:06:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0-rc2 - Not a part of any version track.
6a54a80v4.26.0-rc14 months agoReleased on November 19, 2025 at 6:07:02AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0-rc1 - Not a part of any version track.
1ccd71fv4.25.04 months agoReleased on November 16, 2025 at 11:02:30PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
766e19ev4.25.0-rc24 months agoReleased on October 23, 2025 at 9:27:06AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0-rc2 - Not a part of any version track.
f897ebcv4.24.05 months agoReleased on October 14, 2025 at 9:29:54AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
eed770av4.24.0-rc16 months agoReleased on September 15, 2025 at 12:54:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0-rc1 - Not a part of any version track.
37df177v4.23.06 months agoReleased on September 15, 2025 at 12:18:31AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0