Game Detail
App ID 4518950 | Recorded N/A
Casual, Indie, Strategy
Categories: Single-player, Steam Achievements, Custom Volume Controls, Mouse Only Option, Playable without Timed Input, Partial Controller Support, Steam Cloud, Family Sharing
Release date: August 1, 2026
Developer/Publisher: Ad Dominum Games / Ad Dominum Games

Official Steam summary
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!
Current price
N/A
All-time low
N/A
12-month low
N/A
Verdict
Not enough data
No all-time-low record to evaluate.