The Incredible Proof Machine
A visual puzzle environment where you prove propositional logic statements by wiring blocks together, with many tasks of rising difficulty.
No account needed · sign in to keep your taste everywhere
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 freeWorks in Chrome, Edge and Brave. No account needed.