Talk page

Title:
HOL Light and Formal Mathematics

Speaker:
John Harrison

Link:
https://video-archive.fields.utoronto.ca/view/4694

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop