Skip to content

feat(untyped): standardization theorem for the lambda calculus#679

Open
m-ow wants to merge 2 commits into
leanprover:mainfrom
m-ow:standardization-theorem
Open

feat(untyped): standardization theorem for the lambda calculus#679
m-ow wants to merge 2 commits into
leanprover:mainfrom
m-ow:standardization-theorem

add standardization theorem

7f7a6cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jun 24, 2026 in 9s