Domino On Acid

Domino is a natural deduction visualization in the form of a game of unusual dominoes. It was written in Java by Matthias Benkmann starting in 2000. It was licensed under the GPLv2.

This a colorful variant of dominoes is a simple matching game. The inference rules of natural deduction are the basis for the game. Proof of a tautology are coded as solvable level.