Dominoes on Acid

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow Dominoes on Acid

Dominoes on Acid Web Site

Other Useful Business Software

Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Try it free

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

Similar Business Software

Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
Pikmykid

Pikmykid is the leading safety and dismissal platform that empowers schools to simplify dismissal, engage parents, and keep students safe without the need to purchase, install, or support additional hardware. Designed by former educators and parents, Pikmykid has helped more than 2,000 schools...

See Software
Eurekos

Learning management systems are good for training employees but often fail to address the unique needs of training customers & partners as well as customers' customers & partners. Eurekos is a leading European customer education specialist, offering innovative training software solutions for...

See Software
Park

Managing your campground has never been this simple. Park is the world’s most user-friendly campground management software, and it’s always free for you. ✅ Effortless Reservation Management – Our intuitive drag-and-drop interface makes handling short-term and seasonal bookings a breeze,...

See Software
Acuity Scheduling

Make online appointment scheduling and management a breeze with Acuity Scheduling. Acuity Scheduling is an easy to use online appointment scheduling software that helps professionals and businesses fill their schedule--minus all the hassle. With Acuity, clients see your real-time availability,...

See Software
TelemetryTV

TelemetryTV is a powerful digital signage platform built for the modern organization who needs to engage audiences, generate awareness, and give their teams and communities a voice. TelemetryTV allows users to broadcast dynamic content easily by streaming video, images, social feeds,...

See Software