Projects in Awesome Lists tagged with wang-algorithm
A curated list of projects in awesome lists tagged with wang-algorithm .
https://github.com/joom/wangsalgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
haskell sequent-calculus theorem-prover wang-algorithm
Last synced: 01 May 2025
