Labels Milestones

New Pull Request

0 Open 4 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

Add Content/新增内容

Extras/番外篇

Format Lint/格式修正

Language Improvement/语言修订

Proof Mistake/证明错误

Technical Problems/技术性问题

Milestone

All milestones No milestones

Project

All projects No project

Author

All users

Assignee

All assignees No assignee

ez_lcw

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

0 Open 4 Closed

Label

Clear labels

Add Content/新增内容

Extras/番外篇

Format Lint/格式修正

Language Improvement/语言修订

Proof Mistake/证明错误

Technical Problems/技术性问题

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

No assignee

ez_lcw

基本完成前8章

Add Content/新增内容

Format Lint/格式修正

Language Improvement/语言修订

3

#15 by ez_lcw was merged 2022-09-26 09:16:36 +00:00

main

finish-8

增加番外篇：5A戴德金分割与实数理论

Add Content/新增内容

Extras/番外篇

1

#11 by szTom was merged 2022-09-21 07:36:02 +00:00

main

dedekind-cut

使用更简单的方法证明良序原理

Language Improvement/语言修订

1

#4 by szTom was merged 2022-09-07 13:41:24 +00:00

main

better-proof-well-ordering-theorem

整合记号变更及细节修改

Format Lint/格式修正

Language Improvement/语言修订

3

#1 by szTom was merged 2022-09-05 11:38:43 +00:00

main

better_notations