| App Type | game |
| Release Date | Nov 12, 2026 |
| Details Last Modified | November 12, 2026 (23 hours ago) |
| Developer | Ad Dominum Games |
| Publisher | Ad Dominum Games |
| Genres | Casual, Indie, Strategy |
| Supported Systems |
Game position in Steam's global top wishlist across the selected period.
No data available for the selected period.
Model-based estimate of the game's cumulative wishlist count over time, projected from its top-wishlist rank.
No data available for the selected period.
Games that cite this title in their More Like This section.
Game price changes across the selected period.
Loading history...
| Windows, Linux |
| Price | -12%$2.99$2.63 |
| Required Age | 0+ |
| Achievements | 63 |
| Packages | 1 |
| Support Email | support@addominum.com |
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!
#category_playable_at_your_own_pace
Custom Volume Controls
Family SharingMouse Only Option
Partial Controller SupportPlayable without Timed Input