AI-assisted proof of optimal packing for 11 squares
Lean formalization of the optimality proof of the 11 square packing - Queuingtheorydotcom/11SquaresFormalized
Summary not yet generated for this article.
Comments (52 of ) ⌛