lean-ja/lean-by-example
コード例で学ぶ Lean 言語
Ist lean-ja/lean-by-example einsteigerfreundlich?
Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an lean-ja/lean-by-example gesehen, um zu sagen, wie oft sie gemergt werden. Derzeit sind 12 einsteigerfreundliche Issues offen.
- Sterne
- 190
- Forks
- 16
- Offene Anfänger-Issues
- 12
- Indexierte Issues
- 584
- Vorherrschende Sprache
- Lean
- Lizenz
- Keine Lizenzdaten
- Letzter GitHub-Push
- 15.9.2026
- Zuletzt indexiert
- 20.9.2026
- Beitragsleitfaden
- Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
So tragen Sie zu lean-ja/lean-by-example bei
- Lesen Sie zuerst den Contributing Guide: Er beschreibt, wie die Maintainer Änderungen vorgeschlagen, getestet und geprüft haben möchten.
- Das Projekt bringt einen Dev Container mit: Öffnen Sie es in Codespaces, und Sie haben eine lauffähige Umgebung im Browser.
- Wählen Sie eines der 12 offenen einsteigerfreundlichen Issues unten und schreiben Sie vor dem Start einen Kommentar, dass Sie es übernehmen möchten.
Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen
-
バグ・誤り・不備
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
lean-ja/lean-by-example#2641 ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 52/100
lean-ja/lean-by-example#2640 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2639 · 1 Kommentar ·
-
バグ・誤り・不備 優先度たかし
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 72/100
lean-ja/lean-by-example#2638 ·
-
subset sum 問題の例Offen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2637 ·
-
auto-update-lean-fail
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
lean-ja/lean-by-example#2636 ·
-
linear でない使用を検知して警告を出すOffen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2633 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2631 ·
-
grind funCC の使い方Offen優先度たかし
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
lean-ja/lean-by-example#2630 ·
-
Lean開発者へのインタビューOffen資料・教材
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2626 ·
-
バグ・誤り・不備
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2625 ·
-
タクティク早見表を独立させるOffenバグ・誤り・不備
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2624 ·
-
recall コマンドを紹介するOffen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
lean-ja/lean-by-example#2622 ·
-
method_specs 属性を紹介するOffen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2620 ·
-
Leanの予約語についてのブログ記事Offen資料・教材
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2617 ·
-
付録アイデア
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
lean-ja/lean-by-example#2616 ·
-
n の分割を全列挙するOffen付録アイデア
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100
lean-ja/lean-by-example#2615 ·
-
CLRS TextbookOffen資料・教材
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
lean-ja/lean-by-example#2614 ·
-
要調査
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
lean-ja/lean-by-example#2613 ·
-
Type上の関数を作る例: asListOffen優先度たかし
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2612 ·
-
有限集合上の自己単射は全射Offen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2611 ·
-
InfoTreeを紹介するOffen優先度たかし
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2610 ·
-
leo によるスライド資料Offen資料・教材
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2609 ·
-
Enum HandlerOffen付録アイデア
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2608 ·
-
不要な skill を削除するOffen優先度たかし
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2607 ·
-
`lia` タクティクを紹介するOffen優先度たかし
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2606 ·
-
Zulipで質問すべき Zulipで質問済 バグ・誤り・不備
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2603 ·
-
FBIPに関する一意性チェックの論文Offen資料・教材
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2602 ·
-
整数係数多項式についてOffen資料・教材
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2601 ·
-
exists 記号をマクロで出す時の注意点Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2599 ·
-
付録アイデア
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2597 ·
-
接頭辞付きの数値Offen付録アイデア
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100
lean-ja/lean-by-example#2596 ·
-
バグ・誤り・不備
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
lean-ja/lean-by-example#2595 ·
-
loogle CLIをLLMに使用させたいOffenZulipで質問すべき
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 55/100
lean-ja/lean-by-example#2594 ·
-
置換の実装Offen付録アイデア
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
lean-ja/lean-by-example#2593 ·
-
生文字列リテラルの説明が間違っているかもOffenバグ・誤り・不備
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2592 ·
-
インデントを自動的に除去する生文字列リテラルOffenメタプログラミング 付録アイデア 構文・パーサ
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2591 ·
-
#guard_panic コマンドがあるOffen要調査
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2590 ·
-
構文・パーサ 要調査
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2589 · 1 Kommentar ·
-
Zulipで質問すべき
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2588 ·
-
#eval は式の評価だけをするわけではないOffenバグ・誤り・不備
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100
lean-ja/lean-by-example#2587 ·
-
deprecated packageOffenZulipで質問すべき
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2586 ·
-
`Format` を紹介するOffenデータ型 優先度たかし
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
lean-ja/lean-by-example#2585 ·
-
Zulipで質問すべき
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2584 ·
-
メモ
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
lean-ja/lean-by-example#2583 ·
-
山本さんの関数型プログラミングについてのスライドOffen資料・教材
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2582 ·
-
Haskellについての山本さんのスライドOffen資料・教材
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
lean-ja/lean-by-example#2581 ·
-
ナップサック問題Offen付録アイデア
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2577 ·
-
メモ 資料・教材
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
lean-ja/lean-by-example#2576 ·
-
Zulipで質問すべき Zulipで質問済
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
lean-ja/lean-by-example#2575 ·
Die neuesten 100 werden angezeigt
Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.