Skip to content

Prove N(4) ≤ 17 and classify optimal five-source depth-two blocks - #4271

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
petalas:research/w1-1020f-char4-floor
Oct 21, 2026
Merged

Prove N(4) ≤ 17 and classify optimal five-source depth-two blocks#4271
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
petalas:research/w1-1020f-char4-floor

docs(research): remove assignment wording from scope metadata

e68a499
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 20, 2026 in 2m 45s