About
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!
Pre-release · Steam · App 4518950
Quod Erat Demonstrandum
Ad Dominum Games
Genres
CasualIndieStrategy
CasualIndieStrategyview more (+3)
Categories
Single-playerSteam AchievementsCustom Volume ControlsMouse Only OptionPlayable without Timed InputPartial Controller SupportSteam CloudFamily Sharing
Single-playerSteam AchievementsCustom Volume ControlsMouse Only OptionPlayable without Timed InputPartial Controller SupportSteam CloudFamily Sharingview more (+8)
Player tags
CasualLogicStrategyPhilosophicalPuzzleMinimalistEducationSingleplayerIndie2D
CasualLogicStrategyPhilosophicalPuzzleMinimalistEducationSingleplayerIndie2Dview more (+10)
Followers
21
+1 · 1d
Wishlists est
442
Price
—
Release
August 2026
in 2mo
28 snapshots· cumulative· 4 carried
+14 (+200.0%)
DayFollowersΔΔ %WishlistsΔΔ %
Jun 23, 202621+1+5.0%442+20+4.7%
Jun 22, 20262000.0%42200.0%
Jun 21, 20262000.0%42200.0%
Jun 20, 20262000.0%42200.0%
Jun 19, 202620+2+11.1%422+40+10.5%
Jun 18, 202618+4+28.6%382+81+26.9%
Jun 17, 202614+3+27.3%301+62+25.9%
Jun 16, 202611+4+57.1%239+83+53.2%
Jun 15, 2026700.0%15600.0%
Jun 14, 2026700.0%15600.0%
Jun 13, 2026700.0%15600.0%
Jun 12, 2026700.0%15600.0%
Jun 11, 2026700.0%15600.0%
Jun 10, 2026700.0%15600.0%
Jun 9, 2026700.0%15600.0%
Jun 8, 2026700.0%15600.0%
Jun 7, 2026700.0%15600.0%
Jun 6, 2026700.0%15600.0%
Jun 5, 2026700.0%15600.0%
Jun 3, 2026700.0%15600.0%
Jun 2, 2026700.0%15600.0%
Jun 1, 2026700.0%15600.0%
May 31, 2026700.0%15600.0%
May 30, 2026700.0%15600.0%
May 29, 2026700.0%15600.0%
May 28, 2026700.0%15600.0%
May 27, 2026700.0%15600.0%
May 26, 20267——156——
Tracked since May 2, 2026·Details 1h ago·Followers 20h ago