GitHub - Queuingtheorydotcom/11SquaresFormalized: Lean formalization of the optimality proof of the 11 square packing
Article URL: https://github.com/Queuingtheorydotcom/11SquaresFormalized Comments URL: https://news.ycombinator.com/item?id=49993121 Points: 9 # Comments: 4
No discussion yet. Be the first to share your thoughts!