Formalizing Fermat’s Last Theorem - How it’s going~mathematics~research~sciencefermats last theoremproofs.leanxenaproject.wordpress.com Dec 12, 2024Tildes