at.logic.gapt.formats
*** Define Ivy Proofs in a way that Prooftool can display them ****
Implements parsing of ivy format: https://www.cs.unm.edu/~mccune/papers/ivy/ into Ivy's Resolution calculus.