Lean repository linked

Optimality of Gerver's Sofa

Jineon Baek · 2024

arXiv:2411.19826 · arXiv

Lean formalisations (1)

deancureton/MovingSofa at `4d5569131940`

Linked by the repository’s formalization.yaml.

Project review: agent-reviewed

Audit: awaiting publication.

Report this listing