Queuingtheorydotcom/11SquaresFormalized

Lean formalization of the optimality proof of the 11 square packing

119 best points · 55 comments · 1 Hacker News post · 29 GitHub stars · View on GitHub

Hacker News discussions

• AI-assisted proof of optimal packing for 11 squares (119 points, 55 comments, by bluepeter, 2026-10-07)