What is the difference between a formal and informal proof? a formal proof uses a table or a list of steps, whereas an informal proof uses paragraphs. a formal proof uses equations, whereas an informal proof only uses text. a formal proof is much shorter, whereas an informal proof is longer. a formal proof provides the reasons for steps, whereas an informal proof does not.