3 ms·5-year research grant awarded to formalise Fermat's Last Theorem proof in Lean2 points by jyunwai 3y ago