Mathlib Changelog
v4
Changelog
About
Github
Def
Cache.IO.isPathFromMathlib
Modification history
2025-04-03 01:55
Cache/IO.lean
refactor(Cache): use module name as key instead of unresolved file path (#21834) …
Deleted
Cache.IO.isPathFromMathlib
View on Github →
2023-01-05 03:25
Cache/IO.lean
fix: only change decompression directory for mathlib files (#1343)
Added
Cache.IO.isPathFromMathlib
View on Github →