News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by Jaxan on Friday September 04, 2026 @03:41PM (#49569291)
Most systems i have seen are way beyond a 100 lines. And their GitHub repository contain many issues, often soundness bugs. (Granted, many get fixed very fast.)
[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by tossandthrow on Friday September 04, 2026 @03:44PM (#49569321)
You need to understand the concept of the core algebra and 100s (with the s), then I think you'd be better positioned to understand my comment.

And granted, I don't know the exact details about Lean. It might be that they don't have an incredibly simple core - as has elsewise been the norm.

[ Parent | on HN ]