Dominoes on Acid

1 Download (This Week)
Last Update:
Download Domino.jar
Browse All Files
Windows Mac Linux


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.

Dominoes on Acid Web Site


  • Create rigid mathematical proofs while playing a game
  • You can have fun playing even with no understanding of the maths behind it

Update Notifications

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Java Swing

Programming Language



Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.