Sure, go on and try it ;) | Hacker News

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

		estetlinus 4 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem Sure, go on and try it ;)
		help

charlieyu1 4 days ago [–]

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

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