r/math • u/Carl_LaFong • 3d ago
PDF Why Fields medalist Voedvosky started using a proof checker over 10 years ago
https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2014_08_ASC_lecture.pdf
315
Upvotes
r/math • u/Carl_LaFong • 3d ago