Skip to content

Scoped proof: four fully occupied swaps require twelve calls - #1766

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/donated-20261014-0847
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/donated-20261014-0847

Prove twelve-call minimum for four fully occupied swaps

ff68746
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 15, 2026 in 1m 0s