Tuesday 6 May 2025

• 14:30 - The Lean Theorem Prover/Will computers prove theorems?
  This Strachey Lecture is a double bill taking place from 14:30-16:30 (followed by coffee)
  Professor Leo De Moura (AWS), Professor Kevin Buzzard (Imperial)
  The Strachey Lectures in Computer Science