Quod Erat Demonstrandum

Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain predicate calculus. Prove yourself to be a master of logical thinking!

Developer: Ad Dominum Games.

Tags: Solo, Casual, Logic, Strategy.

Coming soon on Steam (2026-11-01).

Quod Erat Demonstrandum on Game Goose · Steam store page

Find more PC games on Game Goose.