Building Better Systems
Avsnitt

#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean

Building Better Systems
Dela

In this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert.

Watch all our episodes on the Building Better Systems youtube channel.

Joey Dodds: https://galois.com/team/joey-dodds/ 

Shpat Morina: https://galois.com/team/shpat-morina/  

Leo de Moura: https://www.microsoft.com/en-us/research/people/leonardo/

Galois, Inc.: https://galois.com/

Contact us: podcast@galois.com

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Galois, Joey Dodds, Shpat Morina. Innehållet i podden är skapat av Galois, Joey Dodds, Shpat Morina och inte av, eller tillsammans med, Poddtoppen.