Repository navigation

feat(WordRAM): explicit-degree overhead for the Turing-machine simulation (#739) - #2046

Merged

SamuelSchlesinger merged 4 commits into

mainfrom

claude/wordram-explicit-overhead-739

Oct 31, 2026

Merged

feat(WordRAM): explicit-degree overhead for the Turing-machine simulation (#739)#2046
SamuelSchlesinger merged 4 commits into
mainfrom
claude/wordram-explicit-overhead-739

Commits on Oct 31, 2026
- feat(WordRAM): explicit-degree overhead for the Turing-machine simulation (#739)
  
  SamuelSchlesinger
  and
  claude
  committed
  2cfbb17
- Merge origin/main into claude/wordram-explicit-overhead-739
  
  SamuelSchlesinger
  and
  claude
  committed
  6bd74ea
- refactor(WordRAM): named components and shared length lemmas in the overhead (#739)
  
  SamuelSchlesinger
  and
  claude
  committed
  c96fb9c
- Merge origin/main into claude/wordram-explicit-overhead-739
  
  SamuelSchlesinger
  and
  claude
  committed
  95976c3