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

Building Better Systems - En podkast av Galois, Joey Dodds, Shpat Morina

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Utdannelse Teknologi

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

Visit the podcast's native language site