Skip to content

feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction#475

Open
zayn7lie wants to merge 27 commits into
leanprover:mainfrom
zayn7lie:main
Open

feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction#475
zayn7lie wants to merge 27 commits into
leanprover:mainfrom
zayn7lie:main

Commits

Commits on May 18, 2026