8000 feat: lake: avoid use of Lean root directories by tydeu · Pull Request #8981 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: lake: avoid use of Lean root directories#8981

Merged
tydeu merged 5 commits intoleanprover:masterfrom
tydeu:lake/no-root-dir
Jun 25, 2025
Merged

feat: lake: avoid use of Lean root directories#8981
tydeu merged 5 commits intoleanprover:masterfrom
tydeu:lake/no-root-dir

Commits

Commits on Jun 24, 2025

Commits on Jun 25, 2025
0