Def Cache.Hashing.roots
Modification history
2025-04-03 01:55
Cache/Hashing.lean
refactor(Cache): use module name as key instead of unresolved file path (#21834) …
Modified Cache.Hashing.rootsView on Github →2024-05-02 13:42
Cache/Hashing.lean
chore: move to v4.8.0-rc1 (#12548) …
Modified Cache.Hashing.rootsView on Github →2023-09-04 23:06
Cache/Hashing.lean
chore: run cache in archive and counterexamples (#6945) …
Modified Cache.Hashing.rootsView on Github →2023-07-12 04:07
Cache/Hashing.lean
chore: revert move utilities into Util directory (#5787) (#5825) …
Modified Cache.Hashing.rootsView on Github →