Skip to content

test(LambdaCalculus): add tests for capture-avoiding substitution - #737

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

test(LambdaCalculus): add tests for capture-avoiding substitution#737
korbonits wants to merge 2 commits into
leanprover:mainfrom
korbonits:test/lambda-subst-tests

test(LambdaCalculus): add copyright header, dedupe set_option

24b0c74
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Jul 21, 2026 in 6m 32s