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

These assumptions are sufficient to make the statement a proven theorem.

They are not necessary to work in practice.



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

Search: