Theorem proving for mathematicians
Channel: Scott Morrison
Date: 2019-08-16

Notes at https://tqft.net/web/notes/load.php?name=talks/20190813-theorem-proving-for-mathematicians