Lumiri GameDB
Game library / Quod Erat Demonstrandum
Quod Erat Demonstrandum
Discover with Lumiri
Steam

Quod Erat Demonstrandum

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!

Expected release · November 2026

At a glance

About this game

Core game information and the store records it came from.

Title
Quod Erat Demonstrandum
Content
Game
Expected release
November 2026
Platforms
Windows, Linux, macOS
Connected stores
1
Steam Steam source details
Store title
Quod Erat Demonstrandum
Product ID
4518950
Developer
Ad Dominum Games
Publisher
Ad Dominum Games
Store platforms
Windows + Linux + macOS
Source checked
2026-10-14 11:19 UTC

Open official store page ↗

How you can play

Features and tags

Select a feature to find other games that have it.

Store tags

  • Casual
  • Logic
  • Strategy
  • Philosophical
  • Puzzle
  • Minimalist
  • Education
  • Singleplayer
  • Indie
  • 2D

Genres

  • Casual
  • Indie
  • Strategy

Categories and genres from the Steam store, observed 2026-10-14. Store tags from Steam, as players and the store apply them.

Compare & explore

One game, connected stores

Each store keeps its own prices and observations. We prefer the latest recorded EUR price for Europa. When the displayed currency differs from the store amount, a separate approximate value may use the latest available ECB reference rate.

Some store links may be affiliate links. We may earn a commission from qualifying purchases, at no extra cost to you. This does not affect prices, ratings or rankings. How commercial links work.

Lumiri price context

Recorded price comparison

Matching store titles. One currency. One market.

EUR SE

No comparable price yet

No saved EUR price for SE has enough matching product information for this comparison.

0 included price records from 0 stores · 1 linked listing

  • 1 listing has no recorded amount
How this comparison works

Only original EUR amounts recorded for SE and matching titles linked to this game are compared. Edition words and numbers must match. Other editions, source-market fallbacks and currency estimates are excluded.

These are recorded observations. Check the store for the current price, availability and included content. Historical lows belong to the named listing in this market and reflect the history Lumiri GameDB has collected.

Player activity

Observed Steam player history

Latest 1,000 points at most. Individual observations.

Player history is taking shape

No local player observations yet. Collected samples will appear here over time.

Recorded prices

Price history · Steam

EUR observations for market SE. History belongs to the selected store listing; regional prices and taxes may differ.

No local EUR price observations for Europa in the past year.

Catalogue activity

Recent changes

Prices, release dates and store listing updates we detected. Repeated store refreshes are grouped.

No changes detected yet. Price and release updates will appear here.