4/18/2026
•
EN
Thinning/Lifting E-Graphs for Alpha Equivalence: Checkpoint I
Exploring thinning/lifting e-graphs for alpha equivalence using functional lifting combinators and Python examples.