Talk page

Title:
Flexiformal, Pluralistic, Foundation-Independent Representations of Mathematics

Speaker:
Michael Kohlhase

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

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop