Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

DomTheDeveloper/crl

ログインしてフォロー GitHub で見る

DomTheDeveloper/crl は初心者に優しい？

DomTheDeveloper/crl への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。

スター
0
フォーク
1
オープンの初心者向け issue
0
索引済み issue
19
主要言語
Lean
ライセンス
ライセンスのデータがありません
最終 GitHub push
2026年8月25日
最新の索引
2026年9月20日
コントリビューションガイドがありません
行動規範がありません
初心者向けラベル
help wanted
30日以内にマージされた PR はありません

DomTheDeveloper/crl にコントリビュートするには

  1. コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
  2. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
初心者向け すべて
オープン すべて

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Temporary Lean 4.27 verification transport — close after check
    オープン
    • 何か問題がありますか？

    難易度 1/5 1時間未満 初心者へのやさしさ 35/100

    DomTheDeveloper/crl#219 ·

  • Temporary VC2 AXLE screenshot transport
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 20/100

    DomTheDeveloper/crl#212 · コメント 1 件 ·

  • A248380 / Sylver Coinage after 16 — odd replies closed, even branches remain
    再び着手できるかも オープン
    • 何か問題がありますか？

    DomTheDeveloper/crl#208 · コメント 1 件 · 担当者 1 名 ·

  • Independent review requested: Bernstein–Bézier coefficient-inner-cone grand theorem
    再び着手できるかも オープン
    • 何か問題がありますか？

    DomTheDeveloper/crl#152 · コメント 1 件 · 担当者 1 名 ·

  • Independent audit: Grand Barrier formalization and 2026 prior-art collision
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    DomTheDeveloper/crl#134 ·

  • Independent audit: Grand positive-basis Minkowski repair and saturation theorem
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    DomTheDeveloper/crl#129 ·

  • Audit panel E: nonlinear Bernstein grand theorem and codimension law
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    DomTheDeveloper/crl#125 · コメント 1 件 ·

  • Independent audit: Bernstein V6 strongly monotone grand theorem
    オープン
    • 何か問題がありますか？

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    DomTheDeveloper/crl#123 · コメント 1 件 ·

  • Audit panel E: unified grand positive-basis theorem
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 18/100

    DomTheDeveloper/crl#122 · コメント 3 件 ·

  • Audit the Bernstein grand order-interval and Banach-scale clipping theorems
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    DomTheDeveloper/crl#120 · コメント 1 件 ·

  • $5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    DomTheDeveloper/crl#103 · コメント 7 件 ·

  • External reviewers wanted: signed Bernstein obstacle audit reports
    再び着手できるかも オープン
    • 何か問題がありますか？
    help wanted

    DomTheDeveloper/crl#102 · コメント 9 件 · 担当者 1 名 ·

  • Audit panel D: Lean statement faithfulness and no-penetration bridge
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    DomTheDeveloper/crl#101 · コメント 4 件 ·

  • Audit panel C: regular free-boundary clipping and 3/2 energy rate
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    DomTheDeveloper/crl#100 · コメント 7 件 ·

  • Audit panel B: Mosco convergence and finite-element recovery
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    DomTheDeveloper/crl#99 · コメント 8 件 ·

  • Audit panel A: Bernstein approximation and prior-art collision
    オープン
    • 何か問題がありますか？
    help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    DomTheDeveloper/crl#98 · コメント 3 件 ·

  • Lean formalization bounty: Bernstein obstacle theorem package
    再び着手できるかも オープン
    • 何か問題がありますか？
    help wanted

    DomTheDeveloper/crl#97 · コメント 6 件 · 担当者 1 名 ·

  • Independent audit requested: Bernstein obstacle Mosco and free-boundary theorem
    再び着手できるかも オープン
    • 何か問題がありますか？

    DomTheDeveloper/crl#96 · コメント 5 件 · 担当者 1 名 ·

  • Temporary Voronovskaja bootstrap manifest
    オープン
    • 何か問題がありますか？

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    DomTheDeveloper/crl#46 ·

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。