Proving Proofs Proving Proofs Computer Science ∩ Mathematics (Type Theory) – Computerphile As computers are used more and…