Quod Erat Demonstrandum — Steam game overview
Stored observation / content update:
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!
Game metrics below are stored observations; missing values are unknown.
Revenue is modelled, not confirmed sales. See the methodology and uncertainty range.
| Statistic | Recorded value |
|---|---|
| Steam App ID | 4518950 |
| Developer | Ad Dominum Games |
| Publisher | Ad Dominum Games |
| Concurrent players | Not available |
| Total reviews | 0 |
| Positive reviews | 0 |
| Release date | November 2026 |
| Price | Not available |
| Estimated gross revenue (low / central / high) | USD 0 / 0 / 0 |