Skip to content

feat(LocallyNameless/Untyped): add FullEta.steps_lc_l - #734

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fulleta.steps_lc_l
Open

feat(LocallyNameless/Untyped): add FullEta.steps_lc_l#734
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fulleta.steps_lc_l

feat(LocallyNameless/Untyped): add `FullEta.steps_lc_l`

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