Parse texts with formulas and terms into parse tree and produce QEDEQ output. With this package simple texts like A | B => A & B can be transformed into texts like IMPL(OR(A, B), AND(A, B)).