Quod Erat Demonstrandum

Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain propositional calculus. Prove yourself to be a master of logical thinking!
Ad Dominum Games · 2026年8月
カジュアルインディーストラテジーシングルプレイヤー
Steamレビュー
0%
レビューなし · 0件
Metacritic
--
プレイ時間
...
現在価格
--
過去最安値
--
--