Hey all, I'm they guy that developed this app. There are a few things I'd like to say, if I may: 1) I really do want to improve this app and help anyone who i

Hey all, I'm they guy that developed this app. There are a few things I'd like to say, if I may: 1) I really do want to improve this app and help anyone who is using it, so please do send me comments, criticisms and questions. There's a "contact" link on the app for that purpose. 2) Yes, the app's language is a language that I made up which isn't used anywhere else. I know it's not a good thing I'm making people learn a new language, but I really, really want the app to have a language that is easy to type. If you're trying to learn it, just keep in mind that has most of the elements that are in conventional symbolic logic, it just uses different symbols for them, e.g. AND is "&", "for all x, " is "x,", "there exist an x such that" is "3x,". 3) sundarurfriend: Thanks for posting this link. It's a pleasant surprise to see this app getting some attention.