ValentinoFilipetto/Intuitionistic_theorem_prover
An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.
Haskell
Stargazers
No one’s star this repository yet.
An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.
Haskell
No one’s star this repository yet.