anthropics/fermats-last-theorem

↗ 在 GitHub 打开

星数

1,106

Fork 数

93

语言

Lean

许可

Apache-2.0

最后推送

1周前

Hacker News 首页1周前

Fermat's Last Theorem in Lean 4

费马最后定理在 Lean 4 中获得证明。

作者 aaraujo002141 分31 条评论讨论串 → GitHub repo：anthropics/fermats-last-theorem