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
Turn Your Content into Interactive Magic - For Free Icon
Turn Your Content into Interactive Magic - For Free

From Canva to Slides, Desmos to YouTube, Lumio works with the tech tools you are already using.

Transform anything you share into an engaging digital experience - for free. Instantly convert your PDFs, slides, and files into dynamic, interactive sessions with built-in collaboration tools, activities, and real-time assessment. From teaching to training to team building, make every presentation unforgettable. Used by millions for education, business, and professional development.
Start Free Forever

Additional Project Details

Intended Audience

Education, Science/Research

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