Web app that evaluates propositional calculus formula and checks whether it is a tautology
Primary LanguageJavaScriptMIT LicenseMIT