feat(CombinatoryLogic): SKI terms for Nat.sqrt, Nat.pair, and Nat.unpair#445
Draft
jessealama wants to merge 4 commits intoleanprover:mainfrom
Draft
feat(CombinatoryLogic): SKI terms for Nat.sqrt, Nat.pair, and Nat.unpair#445jessealama wants to merge 4 commits intoleanprover:mainfrom
jessealama wants to merge 4 commits intoleanprover:mainfrom
Commits
Commits on Mar 19, 2026
- committed
- committed
- committed
- committed
