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