Skip to content

Research: seven-source singleton universal path — length 18 excluded, f(7) >= 20 (no new kappa) - #2542

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-58-f7-singleton-b859517b
Oct 16, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-58-f7-singleton-b859517b

Research: exclude length 18 for seven-source singleton universal path…

3b6011d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 16, 2026 in 40s