Skip to content

fix(LambdaCalculus): change from rename to swap in alpha equivalence - #744

Closed
SamuelSchlesinger wants to merge 2 commits into
leanprover:mainfrom
SamuelSchlesinger:samuelschlesinger/alpha-equivalence-capture
Closed

fix(LambdaCalculus): change from rename to swap in alpha equivalence#744
SamuelSchlesinger wants to merge 2 commits into
leanprover:mainfrom
SamuelSchlesinger:samuelschlesinger/alpha-equivalence-capture

fix(LambdaCalculus): use nominal swapping for alpha-equivalence

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