Quod Erat Demonstrandum
No Reviews · 0 reviews
Link Hub
View on Steam→Screenshots
Description
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!
Single-player
Platforms
macOS · Linux · Windows
Developer
Ad Dominum Games
Publisher
Ad Dominum Games
CasualIndieStrategy2DEducationLogicMinimalistPhilosophicalPuzzleSingleplayer