lean-ja/lean-by-example
コード例で学ぶ Lean 言語
lean-ja/lean-by-example 对新手友好吗？
近期外部贡献者向 lean-ja/lean-by-example 提交的 PR 还不够多，暂时无法判断它们被合并的比例。 目前有 11 个适合新手的 issue 开放。
- 星标
- 189
- 派生
- 16
- 开放的新手 issue
- 11
- 已索引 issue
- 584
- 主要语言
- Lean
- 许可证
- 没有许可证数据
- 最近 GitHub push
- 2026年9月15日
- 最近索引
- 2026年9月20日
- 贡献指南
- 贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- 没有已索引的新手标签
- PR 合并指标
- 30 天内没有已合并 PR
如何为 lean-ja/lean-by-example 做贡献
- 先读贡献指南：它说明了维护者希望如何提出、测试和评审改动。
- 项目自带 dev container：在 Codespaces 中打开，在浏览器里直接得到一个能用的开发环境。
- 从下方 11 个开放的新手友好 issue 中选一个，开始之前先留言说明你想认领它。
可能已有人在做的 issue 排在最后。 全部按时间排序
-
バグ・誤り・不備
难度 2/5 1-3 小时 新手友好度 65/100
lean-ja/lean-by-example#2641 ·
-
难度 2/5 1-3 小时 新手友好度 52/100
lean-ja/lean-by-example#2640 ·
-
难度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2639 · 1 条评论 ·
-
バグ・誤り・不備 優先度たかし
难度 1/5 1 小时以内 新手友好度 72/100
lean-ja/lean-by-example#2638 ·
-
subset sum 問題の例未关闭
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2637 ·
-
auto-update-lean-fail
难度 4/5 3-5 天 新手友好度 48/100
lean-ja/lean-by-example#2636 ·
-
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2633 ·
-
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2631 ·
-
grind funCC の使い方未关闭優先度たかし
难度 4/5 3-5 天 新手友好度 48/100
lean-ja/lean-by-example#2630 ·
-
Lean開発者へのインタビュー未关闭資料・教材
难度 4/5 3-5 天 新手友好度 25/100
lean-ja/lean-by-example#2626 ·
-
バグ・誤り・不備
难度 5/5 一周以上 新手友好度 35/100
lean-ja/lean-by-example#2625 ·
-
タクティク早見表を独立させる未关闭バグ・誤り・不備
难度 2/5 1-3 小时 新手友好度 45/100
lean-ja/lean-by-example#2624 ·
-
recall コマンドを紹介する未关闭
难度 2/5 1-3 小时 新手友好度 65/100
lean-ja/lean-by-example#2622 ·
-
难度 3/5 1-2 天 新手友好度 25/100
lean-ja/lean-by-example#2620 ·
-
資料・教材
难度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2617 ·
-
付録アイデア
难度 5/5 一周以上 新手友好度 30/100
lean-ja/lean-by-example#2616 ·
-
n の分割を全列挙する未关闭付録アイデア
难度 3/5 1-2 天 新手友好度 55/100
lean-ja/lean-by-example#2615 ·
-
CLRS Textbook未关闭資料・教材
难度 5/5 一周以上 新手友好度 20/100
lean-ja/lean-by-example#2614 ·
-
要調査
难度 4/5 3-5 天 新手友好度 38/100
lean-ja/lean-by-example#2613 ·
-
優先度たかし
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2612 ·
-
有限集合上の自己単射は全射未关闭
难度 2/5 1-3 小时 新手友好度 45/100
lean-ja/lean-by-example#2611 ·
-
InfoTreeを紹介する未关闭優先度たかし
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2610 ·
-
leo によるスライド資料未关闭資料・教材
难度 5/5 一周以上 新手友好度 25/100
lean-ja/lean-by-example#2609 ·
-
Enum Handler未关闭付録アイデア
难度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2608 ·
-
不要な skill を削除する未关闭優先度たかし
难度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2607 ·
-
`lia` タクティクを紹介する未关闭優先度たかし
难度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2606 ·
-
Zulipで質問すべき Zulipで質問済 バグ・誤り・不備
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2603 ·
-
資料・教材
难度 5/5 一周以上 新手友好度 25/100
lean-ja/lean-by-example#2602 ·
-
整数係数多項式について未关闭資料・教材
难度 5/5 一周以上 新手友好度 25/100
lean-ja/lean-by-example#2601 ·
-
难度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2599 ·
-
付録アイデア
难度 5/5 一周以上 新手友好度 45/100
lean-ja/lean-by-example#2597 ·
-
接頭辞付きの数値未关闭付録アイデア
难度 3/5 1-2 天 新手友好度 55/100
lean-ja/lean-by-example#2596 ·
-
バグ・誤り・不備
难度 2/5 1-3 小时 新手友好度 68/100
lean-ja/lean-by-example#2595 ·
-
Zulipで質問すべき
难度 3/5 1-2 天 新手友好度 55/100
lean-ja/lean-by-example#2594 ·
-
置換の実装未关闭付録アイデア
难度 4/5 3-5 天 新手友好度 48/100
lean-ja/lean-by-example#2593 ·
-
バグ・誤り・不備
难度 2/5 1-3 小时 新手友好度 35/100
lean-ja/lean-by-example#2592 ·
-
メタプログラミング 付録アイデア 構文・パーサ
难度 5/5 一周以上 新手友好度 35/100
lean-ja/lean-by-example#2591 ·
-
要調査
难度 2/5 1-3 小时 新手友好度 45/100
lean-ja/lean-by-example#2590 ·
-
構文・パーサ 要調査
难度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2589 · 1 条评论 ·
-
Zulipで質問すべき
难度 4/5 3-5 天 新手友好度 25/100
lean-ja/lean-by-example#2588 ·
-
バグ・誤り・不備
难度 2/5 1-3 小时 新手友好度 55/100
lean-ja/lean-by-example#2587 ·
-
Zulipで質問すべき
难度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2586 ·
-
`Format` を紹介する未关闭データ型 優先度たかし
难度 2/5 1-3 小时 新手友好度 68/100
lean-ja/lean-by-example#2585 ·
-
Zulipで質問すべき
难度 5/5 一周以上 新手友好度 35/100
lean-ja/lean-by-example#2584 ·
-
メモ
难度 5/5 一周以上 新手友好度 25/100
lean-ja/lean-by-example#2583 ·
-
資料・教材
难度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2582 ·
-
資料・教材
难度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2581 ·
-
ナップサック問題未关闭付録アイデア
难度 5/5 一周以上 新手友好度 35/100
lean-ja/lean-by-example#2577 ·
-
メモ 資料・教材
难度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2576 ·
-
Zulipで質問すべき Zulipで質問済
难度 5/5 一周以上 新手友好度 30/100
lean-ja/lean-by-example#2575 ·
只显示最新的 100 条
这个页面只列出最近收录的部分。完整清单在高级筛选里，可以按语言、难度和预计耗时筛选。