8000 feat: lake: local artifact cache by tydeu · Pull Request #8922 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: lake: local artifact cache#8922

Merged
tydeu merged 9 commits intoleanprover:masterfrom
tydeu:lake/artifact-cache
Jun 27, 2025
Merged

feat: lake: local artifact cache#8922
tydeu merged 9 commits intoleanprover:masterfrom
tydeu:lake/artifact-cache

Commits

Commits on Jun 27, 2025
0