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 >

Follow Dominoes on Acid

Dominoes on Acid Web Site

Other Useful Business Software

Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
Focus on your Business with an integrated Business Cloud Icon

Reliable & Secure Business Phone Systems

  • No contracts, no cancellation fees, over 40 features
  • 99.999% financially backed uptime SLA
  • Free, expert support, certified by J.D. Power

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Java Swing

Programming Language

Java

Registered

2009-12-22