Machine-Checked: The Rise of the Proof Assistant
August 2, 2026
A theme celebrating the surging world of formal verification and computer-checked proofs—proof assistants, tactics, and the mathematicians and coders racing to make software and theorems provably correct.
Type letters to fill the puzzle. Use arrow keys to move, Space to switch between across and down, Tab for the next clue, and Backspace to erase.