Open
QED
Docs
Leaderboard
Sign in
Back to problems
Moving Sofa Problem
What is the largest area of a shape that can be moved around an L-shaped hallway?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute