feat(CombinatoryLogic): SKI realizers of data#448

Draft

thomaskwaring wants to merge 14 commits intoleanprover:mainfrom

thomaskwaring:encoding-pr

Commits on Feb 19, 2026

Deterministic relations
twwar
committed
use new API in URM, docs
twwar
committed
use `RightUnique` API
twwar
committed
update URM
twwar
committed
docs
twwar
committed
move signature to one line
chenson2018
committed

Commits on Mar 3, 2026

Merge branch 'leanprover:main' into main
thomaskwaring
authored

Commits on Mar 6, 2026

Merge branch 'leanprover:main' into encoding-pr
thomaskwaring
authored
encodings, recursion
twwar
committed
lists
twwar
committed
partial values, tidy names
twwar
committed

Commits on Mar 7, 2026

rename
twwar
committed
tidy up evaluation
twwar
committed

Commits on Mar 20, 2026

basic combinators
twwar
committed