a proof checker and model checker for minimal propositional logic
Primary LanguageHaskell
No issues in this repository yet.