feat(CombinatoryLogic): Partrec → SKI computability#403
Open
jessealama wants to merge 13 commits intoleanprover:mainfrom
Open
feat(CombinatoryLogic): Partrec → SKI computability#403jessealama wants to merge 13 commits intoleanprover:mainfrom
jessealama wants to merge 13 commits intoleanprover:mainfrom
Commits
Commits on Mar 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
