Skip to content

Prove sharp twelve-ADD single-insertion cost for four Boolean demands (no κ) - #7265

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1111e-new-step
Open

Prove sharp twelve-ADD single-insertion cost for four Boolean demands (no κ)#7265
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1111e-new-step

feat(research): prove sharp four-demand Boolean restoration cost

6d3af7b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 22s