4 ms·
The guy behind the xena project, Kevin Buzzard, recently got a grant to formalize Wiles' proof of Fermat's theorem in Lean4: https://mathstodon.xyz/@xenaproject
by dunham 3y ago
The guy behind the xena project, Kevin Buzzard, recently got a grant to formalize Wiles' proof of Fermat's theorem in Lean4: https://mathstodon.xyz/@xenaproject/111170563403967905 https://mathstodon.xyz/@xenaproject/111170563403967905