Theorem Proving in LEAN with Kevin Buzzard

Join us on Friday with a talk from Kevin Buzzard, a leading figure in the development of LEAN, a coding language used to prove mathematical theorems!