20200213 interactive theorem proving
Channel: Scott Morrison
Date: 2020-02-14

Slides at https://tqft.net/web/notes/load.php?name=talks/20200213-interactive-theorem-proving