llang (npm): An interpreter of well-formed formulas in propositional calculus.
Keywords: propositional|calculus|interpreter|formal|logic|language