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
- 見積もり時間
- 1週間以上
- 活発さ
- 活発
- 明瞭さ
- 説明が足りない
- 初心者へのやさしさ
- 5/100