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.
Features
- Create rigid mathematical proofs while playing a game
- You can have fun playing even with no understanding of the maths behind it
License
GNU General Public License version 2.0 (GPLv2)Follow Dominoes on Acid
You Might Also Like