> a given *arbitrary* program and input Keyword emphasis mine. | Hacker News

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

		raincole 5 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... > a given arbitrary program and input Keyword emphasis mine.

		help

grg0 5 days ago [–]

That one little word that changes everything in how you interpret the statement.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact