Repository navigation

Prove exact 25-term tariffs for orthogonal Boolean fanout triples - #5514

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

lee-phys:codex/orthogonal-boolean-fanout

Oct 25, 2026

Merged

Prove exact 25-term tariffs for orthogonal Boolean fanout triples#5514
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
lee-phys:codex/orthogonal-boolean-fanout

Commits on Oct 25, 2026
- Prove exact tariffs for orthogonal Boolean fanout triples
  lizhi
  committed
  377af21