Strachey Lecture: The Lean Theorem Prover/Will computers prove theorems?

Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI. Kevin Buzzard: Will Computers prove theorems?
DatesTimesPrice
Tue 6th May 2.30pm free

Location

Andrew Wiles Building (Mathematical Institute)

Radcliffe Observatory Quarter Woodstock Road Oxford OX2 6GG

Visit website
Review this event

Contact organiser

Share this event

© Daily Information 2025. Printed from https://www.dailyinfo.co.uk/events/281008/strachey-lecture-the-lean-theorem-prover-will-computers-prove-theorems

Top