Computer verification of Wiles' proof of Fermat's Last Theorem (2005) (cs.rug.nl) 2 points by cpp_frog 3y ago ↗ HN
0 comments
[ 3.3 ms ] story [ 7.1 ms ] threadNo comments yet.