What is a Mechanical Theorem Prover? (continued)

To get around this, mechanical theorem provers often require help from the user.

Click here to continue downward.