/prop-logic

A lexer and parser for propositional formulas in propositional logic

Primary LanguagePythonMIT LicenseMIT

prop_logic

A lexer and parser for propositional formulas in propositional logic. Formulas are parsed into an AST.