The Incredible Proof Machine

A visual puzzle environment where you prove propositional logic statements by wiring blocks together, with many tasks of rising difficulty.

Tonble
Share X Reddit Bluesky Email
Screenshot of incredible.pm

Stumble onto more like this

One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.

Add to Browser — it's free

Works in Chrome, Edge and Brave. No account needed.