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