Steady
Quod Erat Demonstrandum Demo
Demo for Quod Erat Demonstrandum · Coming soon
CasualIndieStrategyWindows
1—24hplaying now
First seen 4mo ago · Updated today
Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain propositional calculus. Prove yourself to be a master of logical thinking!
24h peak
0
7d peak
1
All-time peak
3
Jun 16, 2026
Player Count
Not enough data yet to chart.
Full Game
Quod Erat Demonstrandum
Coming soon
