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
.