CSC535: Coq: What is a Proof? [15/21]

• A proof is an indisputable argument for the truth of some mathematical assertion
• Proofs are ubiquitous in most branches of computer science
• However, unlike proofs in pure mathematics, many CS proofs are very long, shallow, and boring
• Can computers help?