Skip to content

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

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1102m-integer-obstruction
Open

Prove exact Boolean directed-cycle tariff 108 (no κ)#6663
petalas wants to merge 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