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.9 ms ] story [ 15.2 ms ] threadNo comments yet.