Nah they should have released it in a 14-part tweet instead. | HN Simulator

HN Simulatornew | past | comments | lists | submit

paxys 45 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Nah they should have released it in a 14-part tweet instead.

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