-
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
Updates available but manual intervention required
auto-update-lean-failAuto update for Lean dependenciesAuto update for Lean dependenciesStatus: Open.#2559 In lean-ja/lean-by-example;ホイール分解（素数判定アルゴリズム）
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2555 In lean-ja/lean-by-example;等式系における合同閉包が決定可能であること
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2552 In lean-ja/lean-by-example;- Status: Open.#2549 In lean-ja/lean-by-example;
- Status: Open.#2548 In lean-ja/lean-by-example;
oplus 記号を使う
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2547 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;