The "/LXMusic (music play..lxmusic-0.3.0.tar.gz" file could not be found or is not available. Please select another file.

Dominoes on Acid

2 Downloads (This Week)
Download Domino.jar
Browse All Files

Description

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

Features

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

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