Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Leo De Moura

Series featuring Leo De Moura

  • Strachey Lectures
# Episode Title Description People Date
1 Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI Leo De Moura 15 May 2025