LP, the Larch Prover -- Conjectures

A conjecture is a formula, deduction rule, induction rule, or operator theory that has been entered by a prove command, but whose proof is not yet complete. See also subgoal.