When is a computer proof a proof? | Hacker News

Hacker News .hnnew | past | comments | ask | show | jobs | submit

		When is a computer proof a proof? (lawrencecpaulson.github.io)
		2 points by furcyd on Aug 9, 2023 \| hide \| past \| favorite

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact