a proof checker and model checker for minimal propositional logic
Primary LanguageHaskell
This repository is not active