Name: Professor Leo De Moura
AWS
https://leodemoura.github.io/

Events this person is speaking at:

Tuesday 6 May 2025

The Lean Theorem Prover/Will computers prove theorems?
Date: 6 May 2025, 14:30 - 16:30
Speaker s: Professor Leo De Moura (AWS), Professor Kevin Buzzard (Imperial)
Venue: Mathematical Institute, Woodstock Road OX2 6GG
Venue Details: Lecture Theatre 1
Organisers: TBA
Hosts: TBA