Skip to content

feat(CombinatoryLogic): add Church-encoded list infrastructure for SKI terms - #331

Merged
chenson2018 merged 5 commits into
leanprover:mainfrom
jessealama:ski-church-encoding
Feb 17, 2026
Merged

feat(CombinatoryLogic): add Church-encoded list infrastructure for SKI terms#331
chenson2018 merged 5 commits into
leanprover:mainfrom
jessealama:ski-church-encoding

Style fixes in List.lean

e04d764
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.