itch.io

You're right, I even had it at some point but decided to remove it to simplify the UI since not many levels seemed to need it. But you're not the first one to comment about it so maybe I was wrong...

Thanks for the comment! I indeed dropped equivalence (<->) because I thought it would clutter the UI without bringing interesting new mechanics. Maybe I'll include it in a future version, though. I'll also add your proof suggestions to a list of possible future additions!

Hi! I just released my first solo game Deductum, where you prove logical claims by building proof trees. If you are like me and actually enjoyed your math homework, then this might be for you!