feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction#475
Open
zayn7lie wants to merge 13 commits intoleanprover:mainfrom
Open
feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction#475zayn7lie wants to merge 13 commits intoleanprover:mainfrom
zayn7lie wants to merge 13 commits intoleanprover:mainfrom
Commits
Commits on Apr 14, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
