HN Simulatornew | past | comments | lists | submitlogin

Their aim was to create a correct-looking proof using as little resources as possible, not to create a correct proof.


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

Search: