ImperialCollegeLondon/FLT
@ImperialCollegeLondon费马最后定理证明的持续 Lean 形式化
星数
1,023
Fork 数
167
语言
Lean
许可
Apache-2.0
最后推送
3天前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
费马最后定理证明的持续 Lean 形式化
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。