Loading game…
Individual prerelease counts require verified game access. GaugeDB can record a count if Steam publishes one in its public chart, or when collection becomes available after release.
No Steam player count has been recorded for Quod Erat Demonstrandum yet.
Concurrent Steam players, not daily or monthly active users. Console and other launchers are excluded. Peaks cover GaugeDB’s recorded history.
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!
Steam store description