pub fn parse_formula(input: &str) -> Result<ProofExpr, FormulaError>Expand description
Parse formal first-order-logic surface text into a ProofExpr.
See the module docs for the grammar and the constant/variable convention. Returns a
FormulaError on malformed input (the whole string must be consumed).