Queuingtheorydotcom / 11SquaresFormalized
git clone https://github.com/Queuingtheorydotcom/11SquaresFormalized.git
Lean formalization of the optimality proof of the 11 square packing
+0
stars, 24h · #33,200
+~0
stars, 7 days · #33,675
+27
stars, 30 days · #21,567
28
★ total
1
forks · 6 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-09-30 (22d ago)
Last push17d ago
OwnerUser