Fermat's Last Theorem to be proved in Lean (probably eventually)gow.epsrc.ukri.org3 points·alimw··0 commentsOpen articleSaveView on HN