Dominoes on Acid
Description
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
Categories
License
Features
- Create rigid mathematical proofs while playing a game
- You can have fun playing even with no understanding of the maths behind it