Ad Dominum Games
Quod Erat Demonstrandum
Coming soon
native
- Release date
- Coming soon
- Steam Cloud
- Steam Cloud
- Demo available
- Demo available
Unknown
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
- Publisher
- Ad Dominum Games