Skip to content

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

Prove exact tariffs for orthogonal Boolean fanout triples

377af21
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 25, 2026 in 3m 55s