8000 fix: use the fvar subst for erased code in LCNF simp by zwarich · Pull Request #8717 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: use the fvar subst for erased code in LCNF simp#8717

Merged
zwarich merged 1 commit intoleanprover:masterfrom
zwarich:simp-erased-subst
Jun 11, 2025
Merged

fix: use the fvar subst for erased code in LCNF simp#8717
zwarich merged 1 commit intoleanprover:masterfrom
zwarich:simp-erased-subst

Commits

Commits on Jun 11, 2025
0