Quod Erat Demonstrandum

Indie

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!

GEM score

24h

—

GEM rank

#76,673 of 179,652

Indie rank

#52,923 of 127,570

Scores as of 26 Jul 2026

Free view: this score is three months behind the live score.

Score history (3 to 12 months ago)

Stats through 26 Jul 2026

Average

Peak

Tracked since

26 Jul 2026

The chart appears once there are at least two scored days between 3 and 12 months ago. Subscribe to our Patreon for access

3 to 12 months ago as a table

Daily GEM score from 3 to 12 months ago, newest first
Date	GEM score
Subscribe to our Patreon for access
26 Jul 2026	0

Recent coverage

Coverage from the past 7 days.

No recent coverage

No articles from the past 7 days have been matched to this game.