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

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Start 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

Bookinglayer

Bookinglayer is a booking and management platform built specifically for retreat centers, surf camps, outdoor operators, and wellness or boutique properties sell accommodation and activities together. No hotel PMS was built to sell nights in a room, with no way to schedule a lesson, cap a group...

See Software
TelemetryOS

TelemetryOS is a vertically integrated platform for connected screens, kiosks, and screen applications. Purpose-built Node hardware, a hardened Edge operating system, Studio cloud, an integrated video CDN, and an application runtime work together so every display can show the right content,...

See 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
Mentornity

Mentornity is mentoring and coaching program software for organizations that run structured programs and need to show what came of them. It covers the full cycle: enrolment, matching, scheduling, session tracking, feedback and reporting. Each program runs under its own branding and its own...

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
ClickUp

Every day your team loses hours bouncing between disconnected apps. The problem isn't your people. It's that your software was never built to work together. Bundling tools doesn't fix it. You need convergence. ClickUp is one platform where projects, docs, chat, goals, and AI share the...

See Software