About
Quod Erat Demonstrandum is a single player casual puzzle game. It is being developed by Ad Dominum Games and will be released on August 1, 2026.
Every argument begins with set of premises that, if true, necessitate some conclusion. Your task is to prove that the conclusion does indeed follow. Given a set of premises, apply rules of inference and replacement to derive new propositions — step by step — until you reach the conclusion. Each level is a proof waiting to be completed. As a newly aware intelligence, each proof explores theme…

Games Like Quod Erat Demonstrandum
Frequently Asked Questions
Quod Erat Demonstrandum is a casual puzzle game.
Quod Erat Demonstrandum is available on PC, Mac OS, Windows and Linux.
Quod Erat Demonstrandum is scheduled to be released on August 1, 2026.
Quod Erat Demonstrandum was developed by Ad Dominum Games.
Quod Erat Demonstrandum is a single player game.
Similar games include Deductum, Mathletix, ETHEREAL, Loophole, Human Resource Machine and others.










