I got a research grant to formalise Fermat's Last Theorem in Lean (twitter.com) 3 points by mherrmann 2y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 11.9 ms ] threadNo comments yet.