From CS2800 wiki

A proof is just an argument that something is true. While writing a proof, you will make a series of claims; each claim should be

  • clearly described (all terms have definitions)
  • true (based on the current set of assumptions)
  • obviously true based on what has already been stated.