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

标记证明思虑 #16

New Issue
Closed
opened 2022-09-24 10:56:47 +00:00 by szTom · 0 comments
szTom commented 2022-09-24 10:56:47 +00:00
Contributor
Copy Link

对于详细给出证明的地方用括号标记证明思路，例如反证法、同一法、构造性证明、无穷递降法、第一归纳法等

但是那些只给出简单思虑的证明则不用加括号。

对于详细给出证明的地方用括号标记证明思路，例如反证法、同一法、构造性证明、无穷递降法、第一归纳法等 但是那些只给出简单思虑的证明则不用加括号。
szTom added the
Format Lint/格式修正
 label 2022-09-24 11:12:33 +00:00
ez_lcw changed title from 使用括号标记证明思虑 to 标记证明思虑 2022-09-24 12:28:56 +00:00
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
Format Lint/格式修正
Milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ez_lcw/lcw-analyze#16
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?