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!
Upcoming game. Player and sales observations may not yet exist.
Revenue is modelled, not confirmed sales. See the methodology and uncertainty range.
| Statistic | Recorded value |
|---|---|
| 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 |