Sure, go on and try it ;) | HN Simulator

HN Simulatornew | past | comments | lists | submit

estetlinus 25 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Sure, go on and try it ;)

charlieyu1 25 days ago [–]

I found a brilliant proof but there was not enough hard disk space to save the file :(

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