A theorem proving framework for intuitionistic and classical propositional logics in Haskell.
Primary LanguageHaskell