Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-03-25 01:43
698d2b68
View on Github →
chore: bump toolchain to v4.29.0-rc8 (
#37133
)
Estimated changes
Modified
lake-manifest.json
Modified
lakefile.lean
Modified
lean-toolchain