8000 feat: enable the new compiler by zwarich · Pull Request #8577 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: enable the new compiler#8577

Merged
nomeata merged 7 commits intoleanprover:masterfrom
zwarich:new_codegen_mathlib
Jun 20, 2025
Merged

feat: enable the new compiler#8577
nomeata merged 7 commits intoleanprover:masterfrom
zwarich:new_codegen_mathlib

Commits

Commits on Jun 20, 2025
0