Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-03 10:21
5fe5b355
View on Github →
chore: update Mathlib dependencies 2025-02-03 (
#21363
) This PR updates the Mathlib dependencies.
Estimated changes
Modified
lake-manifest.json
Modified
lean-toolchain