Skip to content

Prove exact positive Turyn redundancy cost 27R (no κ) - #6439

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1102d-original-step
Nov 10, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1102d-original-step

Commits

  1. Commits on Nov 2, 2026