Skip to content

refactor(LocallyNameless): remove unnecessary LC assumptions - #735

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:no_lc
Open

refactor(LocallyNameless): remove unnecessary LC assumptions #735
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:no_lc

refactor(LocallyNameless): remove unnecessary LC assumptions from eta…

324ef34
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 25, 2026 in 4s