Skip to content

Research: Serial pass lower bound - #6997

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/current-serial-pass-lower-bound-20261109
Nov 10, 2026
Merged

Research: Serial pass lower bound#6997
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/current-serial-pass-lower-bound-20261109

research: prove mandatory full-field passes in the serial monomial

3775157
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 10, 2026 in 4m 36s