HomeGamesUpdatesPricingMethodology
Steam News21 May 20261mo ago

Game Demo Now Available

In anticipation of Steam Next Fest in June, I'm doing an early release of the demo! Or, rather, I did an early release of the demo last week and forgot to hit "Publish" on this announcement...

Full notes

Full Quod Erat Demonstrandum update

Read the full published notes in a cleaner layout. The original post stays linked below.

In anticipation of Steam Next Fest in June, I'm doing an early release of the demo! Or, rather, I did an early release of the demo last week and forgot to hit "Publish" on this announcement... Anyway, while I'll still be publishing updates between now and then, the core substance of the demo is in place and ready to be played. A few things to note:

  • The demo showcases a pretty big subset of rules, but it does not include any predicate logic (i.e., the quantifier rules)

  • The demo should run on all platforms, but Windows is the most heavily tested

  • You can send your thoughts on the game either through the in-game link (which goes to Google Forms) or through the Steam Discussion board

The full game is still well on track to be released in August, and potentially sooner if I can dedicate enough time to it. To the tens of people who even know this game exists, I appreciate your patience!

Source

Steam News / 21 May 2026

Open original post

Changelog.gg summarizes and formats this update. How we read updates.