FLT:基于 Lean 定理证明器的费马大定理形式化证明项目
Star
0
Fork
0
代码
介绍
代码
Issues
Pull Requests
流水线
Actions
讨论
Wiki
项目成员
5
分析
项目设置
Star
0
Fork
0
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
main
分支
40
Tags
44
IDE
下载zip
Clone
README
项目介绍
查看原文
持续的对费马大定理证明进行精益化形式化处理【此简介由AI生成】
Apache-2.0
Lean
1.66 K
提交数
定制我的领域
README
举报项目
17
943
151
访问 GitHub
举报项目