anthropics/fermats-last-theorem
GitHub で見る- スター
- 1.2k
- フォーク
- 96
- オープンの初心者向け issue
- 0
- 索引済み issue
- 8
- 主要言語
- Lean
- ライセンス
- Apache-2.0
- 最終 GitHub push
- 2026年9月3日
- 最新の索引
- 2026年9月13日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
-
anthropics/fermats-last-theorem#8 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/fermats-last-theorem#1 · コメント 1 件 · リアクション 13 件 · 担当者 0 名 ·
-
anthropics/fermats-last-theorem#2 · コメント 0 件 · リアクション 24 件 · 担当者 0 名 ·
-
anthropics/fermats-last-theorem#3 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
見證歷史 オープン
anthropics/fermats-last-theorem#4 · コメント 0 件 · リアクション 3 件 · 担当者 0 名 ·
-
Not オープン
anthropics/fermats-last-theorem#5 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/fermats-last-theorem#6 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/fermats-last-theorem#7 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·