Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-03 15:02
04dabcff
View on Github →
chore: bump toolchain to v4.16.0 (
#21365
)
Estimated changes
Modified
lake-manifest.json
Modified
lakefile.lean