GUI for the LADR (prover9 mace4) tools.
