A Tiny Plus Solves a Grid Game That Defied Easy Answers
A simple plus-shaped tactic solves a long-standing grid game across every board size, with computer checks formally certified in Lean.
square achievement game
A simple plus-shaped tactic solves a long-standing grid game across every board size, with computer checks formally certified in Lean.