#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
1 tracks • 0 plays • 0 favorites
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
BEBITO
0:0045:34
Success & Inspiration
Episodes
1
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean
BEBITO