Skip to content

Prove the two-relation rank bound at arbitrary helper width (no new κ) - #6777

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/20261106d-two-relation-any-registers
Nov 10, 2026
Merged

Prove the two-relation rank bound at arbitrary helper width (no new κ)#6777
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/20261106d-two-relation-any-registers

Prove the two-relation rank bound at arbitrary register width

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