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!
Single-playerSteam AchievementsCustom Volume ControlsMouse Only OptionPlayable without Timed InputPartial Controller SupportSteam CloudFamily Sharing
Single-playerSteam AchievementsCustom Volume ControlsMouse Only OptionPlayable without Timed InputPartial Controller SupportSteam CloudFamily Sharingview more (+8)