Skip to content

test(LambdaCalculus): port the lambda-n-ways normalization corpus - #791

Open
korbonits wants to merge 4 commits into
leanprover:mainfrom
korbonits:test/lambda-subst-tests
Open

test(LambdaCalculus): port the lambda-n-ways normalization corpus#791
korbonits wants to merge 4 commits into
leanprover:mainfrom
korbonits:test/lambda-subst-tests

test(LambdaCalculus): drop the hand-written locally nameless unit tests

83ae9d9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 10, 2026 in 4s