8 queens, 2 proofs. Rectus eram, professus incumbere et irrumabo pro gradibus, quia mathematica ultra te est
reminded me of Whitaker and Nadler exchange
8 queens, 2 proofs. Rectus eram, professus incumbere et irrumabo pro gradibus, quia mathematica ultra te est
reminded me of Whitaker and Nadler exchange