Fermat's Last Theorem to be proved in Lean (probably eventually)https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y022904/1 by alimw • 3 years ago 3 0 3 years agoGOgow.epsrc.ukri.org