WangsAlgorithm
Haskell
★ 36
updated 7y ago
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
No plain-English explanation yet — one is being written right now. Check back in a minute.