#3
Formalizing Fermat's Last Theorem
A new formalization of Fermat's Last Theorem using dependent type theory has attracted significant attention, drawing 595 upvotes from users interested in mathematical proof verification.
A new formalization of Fermat's Last Theorem using dependent type theory has attracted significant attention, drawing 595 upvotes from users interested in mathematical proof verification.
Comments on "Formalizing Fermat's Last Theorem"
Have a take on this ranking?
Comments are how the argument actually happens here. Posting one needs a free account — it takes about a minute.
No comments yet.
The first comment sets the terms of the argument.