Fermat's Last Theorem to be proved in Lean (probably eventually) (gow.epsrc.ukri.org) 3 points by alimw 2y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 12.1 ms ] threadNo comments yet.