vulcan (npm): A resolution-based propositional logic tool
Keywords: propositional|logic|javascript|proof|proof-assistant