Launched this week

Modus Ponens

Launched this week

Light every room you can prove. A pure logic puzzle.

1 follower

Light every room you can prove. A pure logic puzzle.

1 follower

Visit website

A minimalist puzzle game of intuitionistic logic. Every room is a proposition: light it by proving it. A new daily puzzle, a classic mode with eight levels of difficulty, and a guided how-to.

Free

Launch tags:Puzzle Games•Free Games

Launch Team

Zendesk for StartupsUp to 2 years free for startups + AI Agents & Copilot

Promoted

Maker

📌

I created a puzzle game that literally mirrors the natural deduction of intuitionistic propositional logic, but you don't need to be a logician to play it, nor do you need to know formal logic. The goal of the game is to figure out which shapes can be "lit up" and find a way to do so, which is secretly just the representation of a theorem proof: the shapes are propositions, their contours are connectives, and the light represents truth. With every solved puzzle, you earn a score and receive the proven logical formula as a badge. You can play in Classic mode (random puzzles of varying difficulty) or Daily mode (one curated puzzle per day). Have fun!

Report

3d ago