Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-05 09:50
b76454f3
View on Github →
chore: cache doesn't need to traverse the cache directory (
#6197
)
Estimated changes
Modified
Cache/IO.lean
deleted
def
Cache.IO.HashMap.filter
added
def
Cache.IO.HashMap.filterExists
Modified
Cache/Requests.lean