Post #233516 1.27K Oct 7, 2026, 14:31 UTC AI-assisted proof of optimal packing for 11 squaresArticle, Comments GitHub GitHub - Queuingtheorydotcom/11SquaresFormalized: Lean formalization of the optimality proof of the 11 square packing Lean formalization of the optimality proof of the 11 square packing - Queuingtheorydotcom/11SquaresFormalized ❤ 4 🤬 3 🖕 2 🐳 1