ez_lcw/lcw-analyze
1
1
Fork 0
Code Issues 4 Pull Requests Releases Activity

为标记了“证明：略”的地方添加证明思路概述 #7

New Issue
Closed
opened 2022-09-07 12:40:16 +00:00 by szTom · 3 comments
szTom commented 2022-09-07 12:40:16 +00:00
Contributor
Copy Link

为标记了“证明：略”的地方添加证明思路概述或者删除标记

例如，许多的可以改成“证明：根据定义可知”，或者“证明：反证法”之类的。

为标记了“证明：略”的地方添加证明思路概述或者删除标记 例如，许多的可以改成“证明：根据定义可知”，或者“证明：反证法”之类的。
szTom commented 2022-09-07 12:42:10 +00:00
Author
Contributor
Copy Link

#389cf92c54 第7章已完成。

#389cf92c54 第7章已完成。
szTom commented 2022-09-07 23:16:58 +00:00
Author
Contributor
Copy Link

1-5章已完成。待完成的地方

  • 6.1.8
  • 6.5.1
  • 8.3.9
1-5章已完成。待完成的地方 - [x] 6.1.8 - [x] 6.5.1 - [x] 8.3.9
ez_lcw was assigned by szTom 2022-09-07 23:50:23 +00:00
ez_lcw commented 2022-09-19 06:18:39 +00:00
Owner
Copy Link

完成

完成
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
Add Content/新增内容
Extras/番外篇
Format Lint/格式修正
Language Improvement/语言修订
Proof Mistake/证明错误
Technical Problems/技术性问题
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees ez_lcw
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ez_lcw/lcw-analyze#7
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?