Repository navigation

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

feat(GenericRAM/Native): derivations of stack recursions from recursion trees#1961
SamuelSchlesinger merged 2 commits into
mainfrom
claude/t2-stack-tree

Commits on Oct 31, 2026
- feat(GenericRAM/Native): derivations of stack recursions from recursion trees
  
  SamuelSchlesinger
  and
  claude
  committed
  bd6a6a6
- feat(GenericRAM/Native): derivations by well-founded recursion
  
  SamuelSchlesinger
  and
  claude
  committed
  887bbd2