Folly.Parser

parseFormula

parseTheorem