Skip to content

Prove exact Boolean directed-cycle tariff 108 (no κ) - #6663

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1102m-integer-obstruction
Nov 10, 2026
Merged

Prove exact Boolean directed-cycle tariff 108 (no κ)#6663
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1102m-integer-obstruction

feat(research): prove exact Boolean directed-cycle tariff

ae5a8ec
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 54s