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