中文 English Français Русский Español العربية

Fermat's Last Theorem in Lean 4

2026-09-05 02:570 views

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 →

Article URL: https://apnews.com/article/karl-bushby-world-walk-hull-england-0317df0d80138f045eed4dc15db50c10 Comments UR

Article URL: https://salary-statistics.netlify.app/us/where-to-live Comments URL: https://news.ycombinator.com/item?id=5

Article URL: https://www.theguardian.com/science/2026/nov/02/permanent-damage-crysophere-overshoots-15c-scientists-warn

Article URL: https://news.mit.edu/2026/mit-engineers-create-nanoparticles-delivering-personalized-cancer-vaccines-1030 C

Article URL: https://chalmovsky.com/posts/wtf-ubuntu Comments URL: https://news.ycombinator.com/item?id=50337608 Points:

Article URL: https://academic.oup.com/biomedgerontology/article/81/10/glag208/8769491?login=false Comments URL: https://

Related posts