Skip to content

Update Cslib/Languages/CombinatoryLogic/Recursion.lean

03e314b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

Update Cslib/Languages/CombinatoryLogic/Recursion.lean
03e314b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded Mar 20, 2026 in 5m 36s