Search results

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

Status: Open.

#2631 In lean-ja/lean-by-example;

· Seasawher opened on Sep 2, 2026

grind funCC の使い方

優先度たかし重要であり、早めに更新・執筆するべき重要であり、早めに更新・執筆するべき

Status: Open.

#2630 In lean-ja/lean-by-example;

· Seasawher opened on Sep 1, 2026

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

資料・教材情報を得られそうな資料や論文、文献など情報を得られそうな資料や論文、文献など

Status: Open.

#2626 In lean-ja/lean-by-example;

· Seasawher opened on Aug 27, 2026

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

バグ・誤り・不備

Status: Open.

#2625 In lean-ja/lean-by-example;

· Seasawher opened on Aug 25, 2026

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

バグ・誤り・不備

Status: Open.

#2624 In lean-ja/lean-by-example;

· Seasawher opened on Aug 24, 2026

recall コマンドを紹介する

Status: Open.

#2622 In lean-ja/lean-by-example;

· Seasawher opened on Aug 24, 2026

method_specs 属性を紹介する

Status: Open.

#2620 In lean-ja/lean-by-example;

· Seasawher opened on Aug 23, 2026

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

資料・教材情報を得られそうな資料や論文、文献など情報を得られそうな資料や論文、文献など

Status: Open.

#2617 In lean-ja/lean-by-example;

· Seasawher opened on Aug 21, 2026

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

付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデア

Status: Open.

#2616 In lean-ja/lean-by-example;

· Seasawher opened on Aug 21, 2026

n の分割を全列挙する

付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデア

Status: Open.

#2615 In lean-ja/lean-by-example;

· Seasawher opened on Aug 21, 2026

CLRS Textbook

資料・教材情報を得られそうな資料や論文、文献など情報を得られそうな資料や論文、文献など

Status: Open.

#2614 In lean-ja/lean-by-example;

· Seasawher opened on Aug 21, 2026

List.product には csimp がある

要調査さらなる調査を要するさらなる調査を要する

Status: Open.

#2613 In lean-ja/lean-by-example;

· Seasawher opened on Aug 21, 2026