FirasMoalla1/WangsAlgorithm
A propositional theorem prover in Haskell, using Wang's Algorithm.
HaskellMIT
Stargazers
No one’s star this repository yet.
A propositional theorem prover in Haskell, using Wang's Algorithm.
HaskellMIT
No one’s star this repository yet.