Skip to content

Add node-based catamorphism POC - #31

Open
Adam-Vandervorst wants to merge 60 commits into
masterfrom
osplit-valcount
Open

Add node-based catamorphism POC#31
Adam-Vandervorst wants to merge 60 commits into
masterfrom
osplit-valcount

Fixing outstanding test failures in recursive cata (and grafting from…

1e95979
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Nov 2, 2026 in 13s