STEAM CATALOGUE

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!

Store genres

Casual · Indie · Strategy

Platforms

Windows · Linux

Upcoming release

View on Steam

Store metadata may change. Confirm current availability and requirements on Steam. Store genres are not community tags.