anthropics / anthropics/fermats-last-theorem
Not
未关闭
- 主要语言
- Lean
- 星标
- 1.2k
- 派生
- 96
- PR 合并指标
- 30 天内没有已合并 PR
描述
这个 Issue 没有描述。
贡献指南
这个仓库没有索引到贡献指南
调研方向
The issue provides no description, files, tests, or entry points to investigate. Ask for the intended change and an objective definition of done before starting work.
由索引模型根据 Issue 内容生成。
评估
- 领域
- tooling
- Issue 类型
- 功能
- 难度
- 5/5
- 预计耗时
- 一周以上
- 活跃度
- 活跃
- 描述清晰度
- 需要澄清
- 新手友好度
- 5/100