Issues

• PowerShell の、履歴に基づくサジェストの有効化はいらない

  バグ・誤り・不備優先度たかし
  lean-ja/lean-by-example#2638 · Filter by author Seasawher opened on Sep 28, 2026

• subset sum 問題の例

  lean-ja/lean-by-example#2637 · Filter by author Seasawher opened on Sep 20, 2026

• Updates available but manual intervention required

  auto-update-lean-fail
  lean-ja/lean-by-example#2636 · Filter by author github-actions opened on Sep 17, 2026

• linear でない使用を検知して警告を出す

  lean-ja/lean-by-example#2633 · Filter by author Seasawher opened on Sep 11, 2026

• mkNullNode を使ってコマンドの配列からマクロ生成をする

  lean-ja/lean-by-example#2631 · Filter by author Seasawher opened on Sep 2, 2026

• grind funCC の使い方

  優先度たかし
  lean-ja/lean-by-example#2630 · Filter by author Seasawher opened on Sep 1, 2026

• Lean開発者へのインタビュー

  資料・教材
  lean-ja/lean-by-example#2626 · Filter by author Seasawher opened on Aug 27, 2026

• print ボタンを無効にするか、あるいはPDF版をダウンロードするボタンにする

  バグ・誤り・不備
  lean-ja/lean-by-example#2625 · Filter by author Seasawher opened on Aug 25, 2026

• タクティク早見表を独立させる

  バグ・誤り・不備
  lean-ja/lean-by-example#2624 · Filter by author Seasawher opened on Aug 24, 2026

• recall コマンドを紹介する

  lean-ja/lean-by-example#2622 · Filter by author Seasawher opened on Aug 24, 2026

• method_specs 属性を紹介する

  lean-ja/lean-by-example#2620 · Filter by author Seasawher opened on Aug 23, 2026

• Leanの予約語についてのブログ記事

  資料・教材
  lean-ja/lean-by-example#2617 · Filter by author Seasawher opened on Aug 21, 2026

• xs : List α から n 個取り出す組み合わせを全列挙する

  付録アイデア
  lean-ja/lean-by-example#2616 · Filter by author Seasawher opened on Aug 21, 2026

• n の分割を全列挙する

  付録アイデア
  lean-ja/lean-by-example#2615 · Filter by author Seasawher opened on Aug 21, 2026

• CLRS Textbook

  資料・教材
  lean-ja/lean-by-example#2614 · Filter by author Seasawher opened on Aug 21, 2026

• List.product には csimp がある

  要調査
  lean-ja/lean-by-example#2613 · Filter by author Seasawher opened on Aug 21, 2026

• Type上の関数を作る例: asList

  優先度たかし
  lean-ja/lean-by-example#2612 · Filter by author Seasawher opened on Aug 20, 2026

• 有限集合上の自己単射は全射

  lean-ja/lean-by-example#2611 · Filter by author Seasawher opened on Aug 18, 2026

• InfoTreeを紹介する

  優先度たかし
  lean-ja/lean-by-example#2610 · Filter by author Seasawher opened on Aug 17, 2026

• leo によるスライド資料

  資料・教材
  lean-ja/lean-by-example#2609 · Filter by author Seasawher opened on Aug 15, 2026

• Enum Handler

  付録アイデア
  lean-ja/lean-by-example#2608 · Filter by author Seasawher opened on Aug 13, 2026

• 不要な skill を削除する

  優先度たかし
  lean-ja/lean-by-example#2607 · Filter by author Seasawher opened on Aug 13, 2026

• lia タクティクを紹介する

  優先度たかし
  lean-ja/lean-by-example#2606 · Filter by author Seasawher opened on Aug 13, 2026

• omega ではなくて lia を使うよう促すべき？

  Zulipで質問すべきZulipで質問済バグ・誤り・不備
  lean-ja/lean-by-example#2603 · Filter by author Seasawher opened on Aug 12, 2026

• FBIPに関する一意性チェックの論文

  資料・教材
  lean-ja/lean-by-example#2602 · Filter by author Seasawher opened on Aug 11, 2026