Skip to content

Attain four-query fragments and prove complete-source ceilings (no new κ) - #6766

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research/20261106d-four-query-ceiling
Nov 10, 2026
Merged

Attain four-query fragments and prove complete-source ceilings (no new κ)#6766
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research/20261106d-four-query-ceiling

Attain four-query fragments and bound the complete mixed recursive gr…

d87e4a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 6, 2026 in 4m 18s