Skip to content

Prove low-span clean-helper bounds for arbitrary target pairs (no new κ) - #6757

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research-20261106b-algebraic-flags
Nov 10, 2026
Merged

Prove low-span clean-helper bounds for arbitrary target pairs (no new κ)#6757
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research-20261106b-algebraic-flags

Extend clean-helper low-span bounds to algebraic target flags

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