Read news on n=17 with our app.
Read more in the app
Another better lower bound for n=17 square packing
