Commit 2025-04-03 01:55 1fe3d6a9

View on Github →

refactor(Cache): use module name as key instead of unresolved file path (#21834) Change internal keys of cache from unresolved paths like Mathlib/Init.lean to modules Mathlib.Init and keep track of the relevant source files. This helps increasing the support for cache in downstream projects depending on mathlib. This PR is a pure internal refactor which does not alter any behaviour of cache.

Estimated changes