Oxford Talks
Toggle navigation
Help
Login
Professor Leo De Moura
AWS
https://leodemoura.github.io/
Events this person is speaking at:
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