Def Cache.Hashing.roots

Modification history

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 →
2023-07-11 10:52
Util/Cache/Hashing.lean
chore: move utilities into Util directory (#5787) …
Modified Cache.Hashing.rootsView on Github →
2023-04-27 06:19
Cache/Hashing.lean
feat: instant library_search (#3404) …
Added Cache.Hashing.rootsView on Github →