Quod Erat Demonstrandum overview

Overview

Quod Erat Demonstrandum comes from Ad Dominum Games and is published by Ad Dominum Games. It arrived on Steam on August 2026, and it sits naturally among Single-player, Steam Achievements, Custom Volume Controls, Mouse Only Option, #category_playable_at_your_own_pace, Playable without Timed Input, Steam Input API Support, and Partial Controller Support. SteamPulse tracks it across Windows, macOS, and Linux so readers get a quick useful snapshot, not just a wall of numbers.

Players and reviews

Quod Erat Demonstrandum's latest SteamPulse observation recorded 0 players at observation time unavailable, with a tracked peak near 0. This peak is the highest value in the available SteamPulse record and may not include activity before tracking began. Player reaction is 0% positive across 0 reviews.

Language and system requirements

Quod Erat Demonstrandum is available in 1 languages including:

3 regional rating boards including dejus, steam germany, and igrs

Sales, recommendations, and streams

Quod Erat Demonstrandum has no public VGI unit-sales estimate available and has recommendation data pending. Revenue data is not available for this game yet. On Twitch, 0 streamers are live with around 0 total watchers.

Quod Erat Demonstrandum overview details

Quod Erat Demonstrandum combines live player counts with reviews, pricing, platform support, Store metadata, dated player history, media, recent news, and related games.

Steam Store description

Every argument begins with set of premises that, if true, necessitate some conclusion. Your task is to prove that the conclusion does indeed follow. Given a set of premises, apply rules of inference and replacement to derive new propositions — step by step — until you reach the conclusion. Each level is a proof waiting to be completed. As a newly aware intelligence, each proof explores themes of being and essence, virtue, the soul, causality, and the pursuit of truth. Simply put, you are a mind reasoning its way from first principles toward understanding. Features 120+ handcrafted levels spanning propositional logic and predicate calculus, levels varying both thematically and mechanically 23 rules of logic — 7 rules of inference (Modus Ponens, Modus Tollens, Hypothetical Syllogism, and more), 11 rules of replacement (Double Negation, De Morgan's Laws, Transposition, and more), and 5 quantifier rules (Universal/Existential Instantiation and Generalization, Quantifier Negation) Gentle learning curve — 18 tutorial levels introduce one rule at a time, building from simple one-step proofs to multi-step chains Deep complexity — later levels feature nested quantifiers, multi-variable domains, and proofs requiring 10+ derivation steps Intuitive drag-and-drop interface — slot propositions into rules, see the result, and build your proof step by step Par system — every level has an optimal solution length; can you find the shortest proof? No time pressure — think as long as you need; every proof waits for you 60+ Steam achievements — milestones, rule mastery challenges, an…

SteamPulse editorial summary

Quod Erat Demonstrandum is listed as a game with No longer available on Steam Store. It supports Windows, macOS, and Linux, belongs to Single-player, Steam Achievements, Custom Volume Controls, Mouse Only Option, #category_playable_at_your_own_pace, Playable without Timed Input, Steam Input API Support, and Partial Controller Support, and is associated with Casual, Indie, and Strategy. SteamPulse's latest observation records 0 players at observation time unavailable, a tracked peak of 0, and review score data when available.

Support and legal notes

Real questions answered from SteamPulse data, including live players, monthly momentum, review sentiment, regional audience signals, Twitch activity, and current Steam pricing.