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

The logs for this run have expired and are no longer available.