Fermat's Last Theorem in Lean 4
Article URL: https://github.com/anthropics/fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568697 Points: 11 # Comments: 3
No discussion yet. Be the first to share your thoughts!
Article URL: https://github.com/anthropics/fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568697 Points: 11 # Comments: 3
No discussion yet. Be the first to share your thoughts!