Skip to content

doc(CombinatoryLogic): add docstrings to natUnpair correctness theorems

9f77698
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

feat(CombinatoryLogic): SKI terms for Nat.sqrt, Nat.pair, and Nat.unpair #445

doc(CombinatoryLogic): add docstrings to natUnpair correctness theorems
9f77698
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded Mar 19, 2026 in 5m 48s