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