✅ A simple commandline utility that converts Propositional-Logic and First-Order-Logic in various normal forms.
Primary LanguageHaskellMIT LicenseMIT