lean-ja/lean-by-example
View on GitHubコード例で学ぶ Lean 言語
- Stars
- 188
- Forks
- 15
- Open beginner issues
- 3
- Indexed issues
- 579
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
- Dominant language
- Lean
- License
- No license data
- Last GitHub push
- Sep 15, 2026
- Latest indexed
- Sep 20, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
auto-update-lean-fail
Difficulty 4/5 3-5 days Newbie friendliness 48/100
lean-ja/lean-by-example#2636 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
lean-ja/lean-by-example#2633 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
lean-ja/lean-by-example#2631 ·
-
grind funCC の使い方 Open優先度たかし
Difficulty 4/5 3-5 days Newbie friendliness 48/100
lean-ja/lean-by-example#2630 ·
-
Lean開発者へのインタビュー Open資料・教材
Difficulty 4/5 3-5 days Newbie friendliness 25/100
lean-ja/lean-by-example#2626 ·
-
バグ・誤り・不備
Difficulty 5/5 Over a week Newbie friendliness 35/100
lean-ja/lean-by-example#2625 ·
-
タクティク早見表を独立させる Openバグ・誤り・不備
Difficulty 2/5 1-3 hours Newbie friendliness 45/100
lean-ja/lean-by-example#2624 ·
-
recall コマンドを紹介する Open
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
lean-ja/lean-by-example#2622 ·
-
method_specs 属性を紹介する Open
Difficulty 3/5 1-2 days Newbie friendliness 25/100
lean-ja/lean-by-example#2620 ·
-
Leanの予約語についてのブログ記事 Open資料・教材
Difficulty 3/5 1-2 days Newbie friendliness 35/100
lean-ja/lean-by-example#2617 ·
-
付録アイデア
Difficulty 5/5 Over a week Newbie friendliness 30/100
lean-ja/lean-by-example#2616 ·
-
n の分割を全列挙する Open付録アイデア
Difficulty 3/5 1-2 days Newbie friendliness 55/100
lean-ja/lean-by-example#2615 ·
-
CLRS Textbook Open資料・教材
Difficulty 5/5 Over a week Newbie friendliness 20/100
lean-ja/lean-by-example#2614 ·
-
要調査
Difficulty 4/5 3-5 days Newbie friendliness 38/100
lean-ja/lean-by-example#2613 ·
-
Type上の関数を作る例: asList Open優先度たかし
Difficulty 3/5 1-2 days Newbie friendliness 45/100
lean-ja/lean-by-example#2612 ·
-
有限集合上の自己単射は全射 Open
Difficulty 2/5 1-3 hours Newbie friendliness 45/100
lean-ja/lean-by-example#2611 ·
-
InfoTreeを紹介する Open優先度たかし
Difficulty 3/5 1-2 days Newbie friendliness 45/100
lean-ja/lean-by-example#2610 ·
-
leo によるスライド資料 Open資料・教材
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2609 ·
-
Enum Handler Open付録アイデア
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2608 ·
-
不要な skill を削除する Open優先度たかし
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2607 ·
-
`lia` タクティクを紹介する Open優先度たかし
Difficulty 3/5 1-2 days Newbie friendliness 35/100
lean-ja/lean-by-example#2606 ·
-
Zulipで質問すべき Zulipで質問済 バグ・誤り・不備
Difficulty 3/5 1-2 days Newbie friendliness 45/100
lean-ja/lean-by-example#2603 ·
-
FBIPに関する一意性チェックの論文 Open資料・教材
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2602 ·
-
整数係数多項式について Open資料・教材
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2601 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2599 ·
-
付録アイデア
Difficulty 5/5 Over a week Newbie friendliness 45/100
lean-ja/lean-by-example#2597 ·
-
接頭辞付きの数値 Open付録アイデア
Difficulty 3/5 1-2 days Newbie friendliness 55/100
lean-ja/lean-by-example#2596 ·
-
バグ・誤り・不備
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
lean-ja/lean-by-example#2595 ·
-
Zulipで質問すべき
Difficulty 3/5 1-2 days Newbie friendliness 55/100
lean-ja/lean-by-example#2594 ·
-
置換の実装 Open付録アイデア
Difficulty 4/5 3-5 days Newbie friendliness 48/100
lean-ja/lean-by-example#2593 ·
-
生文字列リテラルの説明が間違っているかも Openバグ・誤り・不備
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
lean-ja/lean-by-example#2592 ·
-
メタプログラミング 付録アイデア 構文・パーサ
Difficulty 5/5 Over a week Newbie friendliness 35/100
lean-ja/lean-by-example#2591 ·
-
#guard_panic コマンドがある Open要調査
Difficulty 2/5 1-3 hours Newbie friendliness 45/100
lean-ja/lean-by-example#2590 ·
-
構文・パーサ 要調査
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2589 · 1 comment ·
-
Zulipで質問すべき
Difficulty 4/5 3-5 days Newbie friendliness 25/100
lean-ja/lean-by-example#2588 ·
-
バグ・誤り・不備
Difficulty 2/5 1-3 hours Newbie friendliness 55/100
lean-ja/lean-by-example#2587 ·
-
deprecated package OpenZulipで質問すべき
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2586 ·
-
`Format` を紹介する Openデータ型 優先度たかし
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
lean-ja/lean-by-example#2585 ·
-
Zulipで質問すべき
Difficulty 5/5 Over a week Newbie friendliness 35/100
lean-ja/lean-by-example#2584 ·
-
メモ
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2583 ·
-
資料・教材
Difficulty 3/5 1-2 days Newbie friendliness 35/100
lean-ja/lean-by-example#2582 ·
-
資料・教材
Difficulty 3/5 1-2 days Newbie friendliness 45/100
lean-ja/lean-by-example#2581 ·
-
ナップサック問題 Open付録アイデア
Difficulty 5/5 Over a week Newbie friendliness 35/100
lean-ja/lean-by-example#2577 ·
-
メモ 資料・教材
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2576 ·
-
Zulipで質問すべき Zulipで質問済
Difficulty 5/5 Over a week Newbie friendliness 30/100
lean-ja/lean-by-example#2575 ·
-
Zulipで質問すべき Zulipで質問済
Difficulty 4/5 3-5 days Newbie friendliness 30/100
lean-ja/lean-by-example#2574 ·
-
プロパティベーステストを調べる Open付録アイデア
Difficulty 4/5 3-5 days Newbie friendliness 35/100
lean-ja/lean-by-example#2573 ·
-
Zulipで質問すべき Zulipで質問済 付録アイデア
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2572 · 2 comments ·
-
付録アイデア
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2571 ·
-
Zulipで質問すべき 付録アイデア
Difficulty 5/5 Over a week Newbie friendliness 25/100
lean-ja/lean-by-example#2570 ·