Domino on Acid

If you're looking for a fun and colorful variant of traditional Dominoes, you might want to check out the Domino on Acid project. At first glance, it appears to be a straightforward solitaire game with its unique, quirky tiles, but it actually goes much deeper than that. In fact, it's a GUI for natural deduction, a fascinating branch of mathematical logic that can help you solve complex problems.

Each completed domino in the game represents a proof of a tautology in classical propositional logic, which means that you can use this game as a tool to sharpen your deductive skills. You can play Dominoes on Acid online as an applet, or download it as an application to your computer for offline play.

One of the coolest things about the game is that it is built on a simple isometric engine that can be used independently of the game itself. That means if you're interested in creating your own games or applications that incorporate elements of natural deduction, you can use the same engine as Dominoes on Acid. Overall, this is a perfect game for anyone who loves a good mental challenge and wants to train their brain in a fun and colorful way.