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.
- Create rigid mathematical proofs while playing a game
- You can have fun playing even with no understanding of the maths behind it