Skip to content

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

Merged
chenson2018 merged 17 commits into
leanprover:mainfrom
m-ow:standardization-theorem
Jul 9, 2026
Merged

feat(untyped): standardization theorem for the lambda calculus#679
chenson2018 merged 17 commits into
leanprover:mainfrom
m-ow:standardization-theorem

misc namespace golf

c188914
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 9, 2026 in 3s