Skip to content

feat(LambdaCalculus/Named/Untyped): Alpha equivalence equalities - #741

Open
chris-anto-froeschl wants to merge 12 commits into
leanprover:mainfrom
chris-anto-froeschl:alpha-equivalence-equalities
Open

feat(LambdaCalculus/Named/Untyped): Alpha equivalence equalities#741
chris-anto-froeschl wants to merge 12 commits into
leanprover:mainfrom
chris-anto-froeschl:alpha-equivalence-equalities

runs lake exe mk_all

351b37e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs