/derivation-machine

Propositional calculus in Haskell

Primary LanguageHaskell

Stargazers