feat: LambdaCalculus.LocallyNameless.Coc#392
Open
matthunz wants to merge 17 commits intoleanprover:mainfrom
Open
feat: LambdaCalculus.LocallyNameless.Coc#392matthunz wants to merge 17 commits intoleanprover:mainfrom
LambdaCalculus.LocallyNameless.Coc#392matthunz wants to merge 17 commits intoleanprover:mainfrom
Commits
Commits on Mar 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed