Overview
Quod Erat Demonstrandum is a casual strategy puzzle game from developer and publisher Ad Dominum Games, released on November 12, 2026. The title borrows the Latin phrase traditionally written at the close of a mathematical proof, and the game takes that idea literally: every stage hands you a set of premises and asks you to show that the conclusion genuinely follows from them.
Highlights
- Over 180 handcrafted levels that move from propositional logic into predicate logic, gradually raising the difficulty.
- A proof-building loop where you apply rules of inference and replacement to derive new propositions step by step.
- Philosophical themes drawn from Plato, Aristotle, St. Thomas Aquinas and other thinkers, giving each proof a conceptual backdrop.
Who It's For
This one is aimed at players who enjoy formal reasoning, pattern recognition and the quiet satisfaction of closing a proof. If you have ever worked through logic exercises and found them oddly relaxing, the structure here should feel familiar. The early levels resemble proofs you might meet in a classroom, while later stages push your logical thinking harder. It is a single-player experience with a mouse-only option and custom volume controls, and the interface stays deliberately minimal so the argument itself takes center stage.
Game Info
- Developer / Publisher: Ad Dominum Games
- Release date: November 12, 2026
- Genres: Casual, Indie, Strategy
- Steam tags include Logic, Puzzle, Philosophical, Minimalist and Education
- Single-player with Steam Achievements
- Interface language: English
- Paid title; check the latest Steam listing for current pricing and any active discount
