Get the latest tech news
None
Get the Android app
Read more on:
Fermat
theorem
lean proof
Related news:
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A Straightforward Explanation of the Good Regulator Theorem
Monsky's Theorem
