milesrout/minimal-logic

a proof checker and model checker for minimal propositional logic

Haskell