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

Exercism exercises in Lean.

exercism/lean は初心者に優しい?

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

スター
3
フォーク
4
オープンの初心者向け issue
0
索引済み issue
10
平均マージ
6分
マージ済み PR(30日)
1
主要言語
Lean
ライセンス
MIT
最終 GitHub push
2026年8月18日
最新の索引
2026年9月15日
コントリビューションガイド
コントリビューションガイド
行動規範
行動規範
初心者向けラベル
初心者向けラベルは索引されていません

exercism/lean にコントリビュートするには

  1. まずコントリビューションガイドを読みましょう。変更の提案、テスト、レビューの進め方が書かれています。
  2. 行動規範も読んでおきましょう。チャットだけでなく issue や PR にも適用されます。
  3. あなたのコントリビュートはプロジェクトの MIT ライセンスで公開されます。
  4. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
issue を読み込んでいます

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

  • Concept exercises
    オープン

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

    exercism/lean#189 · コメント 1 件 ·

  • Consider adding proof requirement to some currently easy exercises
    オープン

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

    exercism/lean#175 · コメント 1 件 · リアクション 1 件 ·

  • Add `List-Ops` practice exercise
    オープン
    x:action/create x:knowledge/elementary x:module/practice-exercise x:size/medium x:type/coding x:type/content

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

    exercism/lean#158 · コメント 1 件 ·

  • Add `Zipper` practice exercise
    オープン
    x:action/create x:knowledge/elementary x:module/practice-exercise x:size/large x:type/coding x:type/content

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

    exercism/lean#157 · コメント 2 件 ·

  • Create a CodeMirror mode for Lean
    オープン
    x:action/create x:knowledge/none x:size/massive x:type/coding

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

    exercism/lean#156 · コメント 1 件 ·

  • Build a representer
    オープン
    x:action/create x:knowledge/advanced x:module/representer x:size/massive x:type/coding

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

    exercism/lean#155 ·

  • Build an analyzer
    オープン
    x:action/create x:knowledge/advanced x:module/analyzer x:size/massive x:type/coding

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

    exercism/lean#154 ·

  • Highlight
    オープン

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

    exercism/lean#12 · コメント 3 件 ·

  • Launch tracking
    オープン

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

    exercism/lean#1 ·

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

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