feat(circuit/frontier): the contraction recursion, its correctness and its schedule (Theorem D.1, T2.7) - #1905

feat(circuit/frontier): the contraction recursion, its correctness and its schedule (Theorem D.1, T2.7)#1905

SamuelSchlesinger merged 36 commits into

maincslib-community/complexitylib:mainfrom

claude/t2-recursion-correctcslib-community/complexitylib:claude/t2-recursion-correctCopy head branch name to clipboard