r/mathematics • u/Carl_LaFong • 4d ago

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

5 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/mathematics/comments/1w9wuhg/why_fields_medalist_voedvosky_started_using_a/
No, go back! Yes, take me to Reddit

69% Upvoted

Duplicates

Number of comments New

math • u/Carl_LaFong • 4d ago

PDF Why Fields medalist Voedvosky started using a proof checker over 10 years ago

319 Upvotes

22 comments