Mathlib Changelog
v4
Changelog
About
Github
Def
Cache.Requests.findMathlibRemote
Modification history
2025-06-23 16:43
Cache/Requests.lean
feat: `lake exe cache` correctly detects fork from PR source (#25895) …
Added
Cache.Requests.findMathlibRemote
View on Github →