Fermat's Last Theorem in Lean 4

2026-09-05English
Article URL: https://github.com/anthropics/fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568697 Points: 15 # Comments: 3 Read original: https://github.com/anthropics/fermats-last-theorem
My Favorites →

原文：https://www.a8q9.cn/en/article/en-fermats-last-theorem-in-lean-4.html

相关文章