Talk page

Title:
Mechanized reasoning in mathematics

Speaker:
Kuen-Bang Hou

Link:
https://www.ias.edu/video/postdoc/2017/0929-HouFavonia