Modus Ponens

An abstract puzzle game turning mathematical logic into visual mechanics: find the right combinations to light up shapes. Contours represent connectives, and light means truth. Solving a puzzle is secretly proving a theorem, unlocking the proven logical formula as a badge