dominoes on acid

We have hosted the application dominoes on acid in order to run this application in our online workstations with Wine or directly.

Quick description about dominoes on acid:

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

Audience: Education, Science/Research.
User interface: Java Swing.
Programming Language: Java.
Categories: