An interpreter of well-formed formulas in propositional calculus.
Primary LanguageJavaScriptMIT LicenseMIT