Skip to content

Import Gerver optimality for the moving sofa problem - #548

Merged
Vilin97 merged 17 commits into
mainfrom
codex/daily-moving-sofa-20260928
Sep 29, 2026
Merged

Import Gerver optimality for the moving sofa problem#548
Vilin97 merged 17 commits into
mainfrom
codex/daily-moving-sofa-20260928

Remove unused MovingSofa proof scaffolding

125ea36
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar