Lean 4 中的费马大定理

有人在 Lean 4 中完成了费马大定理的形式化，项目发布在 GitHub 上并在 Hacker News 获得 100 分。