Skip to content

Prove two 3-cycles with a spectator coordinate cost exactly twelve (no new κ) - #5379

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/spectator-three-cycle-additivity
Oct 24, 2026
Merged

Prove two 3-cycles with a spectator coordinate cost exactly twelve (no new κ)#5379
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/spectator-three-cycle-additivity

Prove two 3-cycles with a spectator coordinate cost twelve calls

43a46dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 20s