A Comparison of Approaches for Incorporating Syntax-Based Mathematical Algorithms into Proof Assistants
Speaker:
William Farmer, McMaster University
Date and Time:
Wednesday, December 16, 2015 - 2:40pm
Location:
Fields Institute, Room 230
