A theorem prover for intuitionistic propositional logic
Primary LanguageHaskellISC LicenseISC
No issues in this repository yet.