Quod Erat Demonstrandum

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…