feat: prove strong confluence of eta-reduction#425
Merged
chenson2018 merged 17 commits intoleanprover:mainfrom Mar 13, 2026
Merged
feat: prove strong confluence of eta-reduction#425chenson2018 merged 17 commits intoleanprover:mainfrom
chenson2018 merged 17 commits intoleanprover:mainfrom
Commits
Commits on Mar 13, 2026
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
