mathematicians to use theorem provers mechanize theorems of modern

mathematics. In this conversation we will talk about his vision in teaching

undergrads to use the Lean theorem prover, what is the Xena Project, his view

of how theorem provers can change the way we do mathematics, and much more!

Links