anthropics/formal-math
GitHub で見る- スター
- 239
- フォーク
- 46
- オープンの初心者向け issue
- 0
- 索引済み issue
- 9
- 平均マージ
- 1日 19時間
- マージ済み PR（30日）
- 7
- 主要言語
- Lean
- ライセンス
- Apache-2.0
- 最終 GitHub push
- 2026年9月5日
- 最新の索引
- 2026年9月13日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
-
anthropics/formal-math#5 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/formal-math#7 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/formal-math#8 · コメント 1 件 · リアクション 1 件 · 担当者 0 名 ·
-
anthropics/formal-math#9 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/formal-math#10 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/formal-math#14 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
question 54 オープン
anthropics/formal-math#16 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
anthropics/formal-math#25 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Share prompt オープン
anthropics/formal-math#26 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·