When is it worth the time and effort to verify a proof FORMALLY?blog.computationalcomplexity.org2 pointsbaruchel2 years ago