A simple propositional logic prover that checks if a given argument is valid or invalid.
Primary LanguageJavaScriptMIT LicenseMIT