facebookresearch/miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
facebookresearch/miniF2F は初心者に優しい？
facebookresearch/miniF2F への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。
- スター
- 107
- フォーク
- 20
- オープンの初心者向け issue
- 0
- 索引済み issue
- 8
- 主要言語
- Objective-C++
- ライセンス
- MIT
- 最終 GitHub push
- 2025年1月4日
- 最新の索引
- 2026年9月15日
- コントリビューションガイド
- コントリビューションガイド
- 行動規範
- 行動規範
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
facebookresearch/miniF2F にコントリビュートするには
- まずコントリビューションガイドを読みましょう。変更の提案、テスト、レビューの進め方が書かれています。
- 行動規範も読んでおきましょう。チャットだけでなく issue や PR にも適用されます。
- あなたのコントリビュートはプロジェクトの MIT ライセンスで公開されます。
- リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 1/5 1時間未満 初心者へのやさしさ 55/100
facebookresearch/miniF2F#19 ·
-
Migrate to Lean 4オープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
facebookresearch/miniF2F#16 · コメント 2 件 ·
-
Support for Coqオープン
難易度 5/5 1週間以上 初心者へのやさしさ 18/100
facebookresearch/miniF2F#14 · コメント 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 30/100
facebookresearch/miniF2F#12 · コメント 2 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
facebookresearch/miniF2F#11 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
facebookresearch/miniF2F#10 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 25/100
facebookresearch/miniF2F#9 · コメント 6 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 25/100
facebookresearch/miniF2F#7 · コメント 1 件 ·