+**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](/wiki/logic) with the structure of a formal [Proof](/wiki/proof), often using computers to explore vast spaces of inference.
+## See also
+- [Automated Reasoning](/wiki/automated_reasoning)
+- [Formal Verification](/wiki/formal_verification)
+- [Computation](/wiki/computation)
... 1 more lines