mathlib
The math library of Lean 4
Displaying 1-20 of 84 versions of mathlib
Sort by
Date
- Not a part of any version track.
23d606e7 hours agoReleased on January 27, 2026 at 1:21:13PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0-rc1 - Not a part of any version track.
5352afcv4.28.0-rc1a day 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.04 days 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-rc1a month 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.0a month 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.12 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.22 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.12 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-rc22 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-rc12 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.02 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-rc23 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.03 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-rc14 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.04 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 - Not a part of any version track.
90c0e18v4.23.0-rc25 months agoReleased on August 15, 2025 at 6:30:47AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0-rc2 - Not a part of any version track.
79e94a0v4.22.05 months agoReleased on August 14, 2025 at 5:21:56AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
928758av4.22.0-rc46 months agoReleased on July 24, 2025 at 4:11:51AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0-rc4 - Not a part of any version track.
19f4ef2v4.22.0-rc37 months agoReleased on July 4, 2025 at 6:01:45AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0-rc3 - Not a part of any version track.
1a5c8fev4.22.0-rc27 months agoReleased on July 1, 2025 at 12:55:24AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0-rc2