Steam-12%
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!
CasualIndieStrategy
Overview
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!
Screenshots
Game information
- Developer
- Ad Dominum Games
- Publisher
- Ad Dominum Games
- Release date
- Nov 12, 2026
- Genres
- Casual, Indie, Strategy
- Platforms
- Windows, Linux
- Languages
- English
Updated Nov 12, 2026, 9:52 PM · Deal and price data provided by Steam