Web app that evaluates propositional calculus formula and checks whether it is a tautology - View it on GitHub