Dominoes on Acid

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

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

Update Notifications





Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Java Swing

Programming Language

Java

Registered

2009-12-22
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.