Skip to content

feat(GenericRAM/Native): derivations of stack recursions from recursion trees - #1961

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
claude/t2-stack-tree
Oct 31, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
claude/t2-stack-tree

feat(GenericRAM/Native): derivations by well-founded recursion

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

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 31, 2026 in 5m 31s