Hellow guys, Welcome to my website, and you are watching Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI. and this vIdeo is uploaded by CompSciOxford at 2025-05-19T02:08:18-07:00. We are pramote this video only for entertainment and educational perpose only. So, I hop you like our website.
