Talk page

Title:
Hammering towards QED

Speaker:
Jasmin Christian Blanchette

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

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop