alt Hacker NewsTerry’s love of math is at odds with us normies here. A ‘math game about math’ is everything he wants from a game, or so it seems.
A proper normie should take the game and make it about dragons and lasers and swords and robots and princesses to save in another castle and it could be a success, like slay the spire. Or maybe a zachtronics-like game. Or spreadsheet spaceships um excuse me eve online is a thing right?
I've thought a bit about a game like this in the past and came to the conclusion that UI would be a nightmare. It's might be manageable as long as you stick to propositional calculus, but it's pretty limited and if you try to go further then substitution rules for quantifiers come into play. Maybe there is a way to make it work, but I don't think it's something you can just walk into without some consideration.