mathlib
The math library of Lean 4
Displaying 1-20 of 39 versions of mathlib
Sort by
Date
- Not a part of any version track.
a02b71d2 hours agoReleased on October 12, 2024 at 12:46:13PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.13.0-rc3 - Not a part of any version track.
809c3fbv4.12.011 days agoReleased on October 1, 2024 at 8:15:40AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
20c7314 - Not a part of any version track.
5025874v4.11.0-rc12 months agoReleased on August 5, 2024 at 8:52:12AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0-rc1 - Not a part of any version track.
a719ba5v4.10.02 months agoReleased on July 31, 2024 at 11:08:55AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0 - Not a part of any version track.
23c87dfv3-eol3 months agoReleased on July 19, 2024 at 11:08:58AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0-rc2 - Not a part of any version track.
09d33ef - Not a part of any version track.
984c68dv4.10.0-rc23 months agoReleased on July 9, 2024 at 5:37:18PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0-rc2 - Not a part of any version track.
f5c3f06v4.10.0-rc13 months agoReleased on July 1, 2024 at 2:54:34AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0-rc1 - Not a part of any version track.
f0957a7 - Not a part of any version track.
f9caf98v4.9.0-rc34 months agoReleased on June 24, 2024 at 10:09:39AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc3 - Not a part of any version track.
5ef3a83v4.9.0-rc24 months agoReleased on June 14, 2024 at 6:16:22AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc2 - Not a part of any version track.
bbf0d1ev4.9.0-rc14 months agoReleased on June 7, 2024 at 3:20:39AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0-rc1 - Not a part of any version track.
b5eba59v4.8.04 months agoReleased on June 5, 2024 at 10:41:07PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0 - Not a part of any version track.
e091c88v4.8.0-rc25 months agoReleased on May 22, 2024 at 3:42:30AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc2 - Not a part of any version track.
db65174v4.8.0-rc15 months agoReleased on May 2, 2024 at 1:42:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.8.0-rc1 - Not a part of any version track.
a45ae63v4.7.06 months agoReleased on April 4, 2024 at 8:32:09AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0 - Not a part of any version track.
59fdb6bv4.7.0-rc27 months agoReleased on March 6, 2024 at 9:17:16AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc2 - Not a part of any version track.
5bb630b - Not a part of any version track.
fa48894v4.7.0-rc17 months agoReleased on March 5, 2024 at 4:47:26AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.7.0-rc1