
Steam-12%
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!
カジュアルインディーストラテジー
ゲーム概要
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!
スクリーンショット






ゲーム情報
- 開発元
- Ad Dominum Games
- 販売元
- Ad Dominum Games
- 発売日
- 2026年11月12日
- ジャンル
- カジュアル, インディー, ストラテジー
- 対応環境
- Windows, Linux
- 対応言語
- 英語
2026/11/12 21:52 更新 · セール・価格データ提供: Steam
