Proving Proofs Computer Science ∩ Mathematics (Type Theory) – Computerphile As computers are used more and more to confirm proofs, is it time to take computer science’s contrib This was posted on Google+