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

Project Activity

See All Activity >

Categories

Puzzle Games, Mathematics, Education

License

GNU General Public License version 2.0 (GPLv2)

Follow Dominoes on Acid

Dominoes on Acid Web Site

Other Useful Business Software
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free

Additional Project Details

Intended Audience

Science/Research, Education

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Puzzle Games, Java Mathematics Software, Java Education Software

Registered

2009-12-22
Report inappropriate content