When is it worth the time and effort to verify a proof FORMALLY? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		When is it worth the time and effort to verify a proof FORMALLY? (computationalcomplexity.org)
		2 points by baruchel on Feb 25, 2024 \| hide \| past \| favorite

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact