Mathematical proof

Proof(Q11538) is the rigorous demonstration that a mathematical statement follows from its premises. It is also a logical process to ensure that certain statement is true. Something is proven to be true, if every possible interpretation of the statement is accounted for to be true. Some of the logical statements can be 'proven using automated computational procedures, and potentially executed using a general purpose computer. Known automated proof assistants include Coq and Agda.

For more information, please see Proof assistant.