/Automated-Reasoning

Inference methods for Propositional Logic

Primary LanguageHaskell

No issues in this repository yet.