vo
Listen deeper.
Aug 10
·
The Peterman Pod
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
Continue on VO
Don't have the app? Download free.
Read the notes
