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.