G. I. Jojgov

• Incomplete proofs and terms and their use in interactive theorem proving