/Intuitionistic_theorem_prover

An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.

Primary LanguageHaskell

Stargazers

No one’s star this repository yet.