Interactive theorem proving - Adelaide maths colloquium 20181005
Channel: Scott Morrison
Date: 2018-10-05

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