How much is a mechanized proof worth, certification-wise? [pdf]cl.cam.ac.uk2 pointstodsacerdoti5 years ago