Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal
-
Updated
Sep 22, 2026 - Lean
#
moving-sofa-problem
Here are 4 public repositories matching this topic...
Basic Proof of concept for using simulated annealing on the sofa problem to get a rough shape.
-
Updated
May 6, 2024 - Jupyter Notebook
-
Updated
Jul 13, 2023 - Python
Add this topic to your repo
To associate your repository with the moving-sofa-problem topic, visit your repo's landing page and select "manage topics."