Mathlib Changelog
v4
Changelog
About
Github
Def
Cache.Requests.useFROCache
Modification history
2025-08-15 16:30
Cache/Requests.lean
chore: bump toolchain to v4.23.0-rc2 (#28454)
Modified
Cache.Requests.useFROCache
View on Github →
2024-01-04 04:39
Cache/Requests.lean
fix: partial revert of #9409 (re-enable Azure cache) (#9419) …
Added
Cache.Requests.useFROCache
View on Github →