Releases by store
| Store / edition | Play on | Release | Price |
|---|---|---|---|
| Steam | PC · Mac · Linux | November 2026Month window | — |
About this game
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!
Details
Track this release →
Launch ETA tracks upcoming games across every major store — build a watchlist, follow studios, get a weekly digest.