All Categories → No Category → wang-algorithm

Top 1 wang-algorithm open source projects

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

✭ 34

haskell theorem-prover sequent-calculus wang-algorithm

1-1 of 1 wang-algorithm projects