Also known as Quod Erat Demonstrandum, qed, 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!
First of all, I hope everyone is enjoying Steam Next Fest. I appreciate all the feedback so far, both in the Steam discussions tab and the google form linked on the main menu. This update contains a few things I've been…
Read patch notesBrowse past updates and patch notes for this game.
2 updates
