I got a research grant to formalise Fermat's Last Theorem in Leantwitter.com3 points·mherrmann··0 commentsOpen articleSaveView on HN