/Automated-Reasoning

Inference methods for Propositional Logic

Primary LanguageHaskell

Stargazers