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

Commits

  1. Commits on Nov 11, 2026