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))
.