forked from leanprover-community/mathematics_in_lean
-
Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
- #13 · subfish-zhou opened
on Oct 16, 2024
Issues
is:issue state:open
is:issue state:open
Search results
翻译流程说明
good first issueGood for newcomersGood for newcomersStatus: Open.#13 In Lean-zh/math-in-lean-zh;- Status: Open.#12 In Lean-zh/math-in-lean-zh;
- Status: Open.#11 In Lean-zh/math-in-lean-zh;
- Status: Open.#10 In Lean-zh/math-in-lean-zh;
- Status: Open.#9 In Lean-zh/math-in-lean-zh;
- Status: Open.#8 In Lean-zh/math-in-lean-zh;
- Status: Open.#7 In Lean-zh/math-in-lean-zh;
- Status: Open.#6 In Lean-zh/math-in-lean-zh;
- Status: Open.#5 In Lean-zh/math-in-lean-zh;
- Status: Open.#4 In Lean-zh/math-in-lean-zh;
- Status: Open.#3 In Lean-zh/math-in-lean-zh;
- Status: Open.#2 In Lean-zh/math-in-lean-zh;