Thursday 28 Nov 2019: NT Seminar: Computers and number theory
Prof. Kevin Buzzard - Imperial College
Computers have been used in number theory for decades now, to work out examples and check special cases. But can we use them to check proofs, or even to find new proofs? I will talk about my experience using the Lean Theorem Prover.