Proving Proofs

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+

This entry was written by tomwsmf, posted on January 11, 2017 at 10:33 pm, filed under Uncategorized. Bookmark the permalink. Follow any comments here with the RSS feed for this post. Both comments and trackbacks are currently closed.