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
7
+0 · 1d
Wishlists est
105
Price
—
Release
August 2026
in 3mo
23 snapshots· 2 carried
+5 (+250.0%)
DayFollowersΔΔ %WishlistsΔΔ %
May 27, 2026700.0%10500.0%
May 26, 2026700.0%10500.0%
May 25, 20267+1+16.7%105+15+16.7%
May 23, 2026600.0%9000.0%
May 20, 20266+1+20.0%90+15+20.0%
May 19, 2026500.0%7500.0%
May 18, 2026500.0%7500.0%
May 17, 20265+1+25.0%75+15+25.0%
May 16, 20264+1+33.3%60+15+33.3%
May 15, 2026300.0%4500.0%
May 14, 2026300.0%4500.0%
May 13, 2026300.0%4500.0%
May 12, 2026300.0%4500.0%
May 11, 2026300.0%4500.0%
May 10, 2026300.0%4500.0%
May 9, 20263+1+50.0%45+15+50.0%
May 8, 2026200.0%30+11+57.9%
May 7, 2026200.0%1900.0%
May 6, 2026200.0%1900.0%
May 5, 2026200.0%1900.0%
May 4, 2026200.0%1900.0%
May 3, 2026200.0%1900.0%
May 2, 20262——19——
Tracked since May 2, 2026·Details 9h ago·Followers 5h ago