Parses a propositional logic formula string into an AST. Uses the PEG grammar defined in formula.peggy.
formula.peggy
Parses a propositional logic formula string into an AST. Uses the PEG grammar defined in
formula.peggy.