Skip to content

Prove a 5t/2 homogeneous mixed-Q8 lower bound - #3578

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-b19-q8-saturation-20261018
Oct 20, 2026
Merged

Prove a 5t/2 homogeneous mixed-Q8 lower bound#3578
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-b19-q8-saturation-20261018

docs(research): prove homogeneous mixed-Q8 5t/2 lower bound

4395a9c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 18, 2026 in 1m 58s