mathlib
The math library of Lean 4
Displaying 1-20 of 43 versions of mathlib
Sort by
Date
- Not a part of any version track.
e92b3296 hours agoReleased on December 31, 2024 at 12:20:47PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0-rc1 - Not a part of any version track.
41ff1f7v4.15.0-rc1a month agoReleased on December 2, 2024 at 4:16:57AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0-rc1 - Not a part of any version track.
4bbdccdv4.14.0a month agoReleased on December 2, 2024 at 1:14:15AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0 - Not a part of any version track.
a7fc949v4.14.0-rc12 months agoReleased on November 4, 2024 at 5:59:41AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0-rc1 - Not a part of any version track.
d731765v4.13.02 months agoReleased on November 1, 2024 at 5:19:05PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.13.0 - Not a part of any version track.
809c3fbv4.12.03 months 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-rc15 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.05 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-eol5 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-rc26 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-rc16 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-rc36 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-rc27 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-rc17 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.07 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-rc27 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-rc18 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