Skip to content

Prove exact twenty-two-term tariffs for Boolean fanout triples - #5304

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
lee-phys:codex/boolean-triple-fanout
Oct 23, 2026
Merged

Prove exact twenty-two-term tariffs for Boolean fanout triples#5304
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
lee-phys:codex/boolean-triple-fanout

Prove exact twenty-two-term tariffs for Boolean fanout triples

c8bf34c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 5m 33s