Talk page

Title:
A Comparison of Approaches for Incorporating Syntax-Based Mathematical Algorithms into Proof Assistants

Speaker:
William Farmer

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

Workshop:
Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation