A lexer and parser for propositional formulas in propositional logic. Formulas are parsed into an AST.
markkoz / prop-logic Goto Github PK
View Code? Open in Web Editor NEWA lexer and parser for propositional formulas in propositional logic
License: MIT License