dominoes on acid to run in linux online online with Winfy

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

Quick description about dominoes on acid to run in linux online:

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.

.