Theorem Proving is the process of establishing the truth of a mathematical statement through logical steps, much like constructing an unassailable argument. It merges the rigor of Logic with the structure of a formal Proof, often using computers to explore vast spaces of inference.
See also