Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-04 09:10
b758def5
View on Github →
chore: bump toolchain to v4.13.0-rc3 (
#17401
)
Estimated changes
Modified
lean-toolchain