11SquaresFormalized
Lean formalization of the optimality proof of the 11 square packing
12 1 last commit 2026-10-06
About
Lean formalization of the optimality proof of the 11 square packing
Languages
No features listed.
Comments Theme
Lean formalization of the optimality proof of the 11 square packing
Lean formalization of the optimality proof of the 11 square packing
No features listed.
