Fermat's Last Theorem in Lean 4

Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.

138 points by aaraujo002 47 days ago github.com 28 comments

Summary not yet generated for this article.

Loading more comments... ⌛

Scroll down to load more comments

No comments available.