Recently I just had a look at the Abstract Equality Comparison Algorithm, And I wanted to make a GUI for it, so that other engineers can easily learn about how it works. If you want to contact me about this project, mail me firstname.lastname@example.org. This app code is under M.I.T license.
Type any valid expressions in the place of LHS and RHS. Then hit ENTER key!