Hello, I have an issue when I want to save a theorem. Typically when I prove THMB using THMA and save THMB, it later appears in the Theorems tab as something like :"THMA=>THMB", even if THMA is always true. I have no idea how to use THMB for future levels in the format that it appears in. It would be nice if it just appeared as "THMB" which I can do if I don't use other theorems to prove it but it just takes so much more time and is very tedious since essentially I am just rewriting the proof of "T...

I could prove the extreme value theorem in my sleep but I can't for the life of me understand this game's UI. I'm stuck trying to prove equality is commutative. I would enjoy the hell out of gamified real analysis but I'm about ready to give up here.

I feel really really dumb trying to play this game. I don't quite understand what my goals are and how to make them work. I'm struggling to understand what the tutorial is telling me and I just need a little push in the right direction.