-
Notifications
You must be signed in to change notification settings - Fork 14
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#2549 In lean-ja/lean-by-example;
- Status: Open.#2548 In lean-ja/lean-by-example;
- Status: Open.#2547 In lean-ja/lean-by-example;
Updates available but manual intervention required
auto-update-lean-failAuto update for Lean dependenciesAuto update for Lean dependenciesStatus: Open.#2546 In lean-ja/lean-by-example;- Status: Open.#2545 In lean-ja/lean-by-example;
Himmel さんのブログ
資料・教材情報を得られそうな資料や論文、文献など情報を得られそうな資料や論文、文献などStatus: Open.#2544 In lean-ja/lean-by-example;- Status: Open.#2543 In lean-ja/lean-by-example;
Dyck言語（括弧からなる言語）
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2542 In lean-ja/lean-by-example;- Status: Open.#2541 In lean-ja/lean-by-example;
破壊的でない更新を見つけてwarnを出すリンター
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2540 In lean-ja/lean-by-example;unicode action
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2539 In lean-ja/lean-by-example;- Status: Open.#2537 In lean-ja/lean-by-example;