I disagree but the constraints required to get there are probably untenable for ... | Hacker News

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

aaronblohowiak 5 months ago | parent | context | favorite | on: Lean proved this program correct; then I found a b...

I disagree but the constraints required to get there are probably untenable for most practical applications, so in practice I agree.

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