方而静 szTom
0 Followers · 0 Following
  • Joined on 2022-08-22
Repositories
16
 Projects Packages Public Activity Starred Repositories
1
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 12:41:05 +00:00
389cf92c54 整理第7章的记号
szTom opened issue ez_lcw/lcw-analyze#7 2022-09-07 12:40:16 +00:00
为标记了“证明：略”的地方添加证明思路概述
szTom opened issue ez_lcw/lcw-analyze#6 2022-09-07 12:32:35 +00:00
使用二级标题标记章节内的小节标题
szTom opened issue ez_lcw/lcw-analyze#5 2022-09-07 12:30:11 +00:00
在cases中不使用if或者“如果”这样的提示词
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 11:57:01 +00:00
4542dc746e 给出良序原理的一个更简单的证明
szTom created pull request ez_lcw/lcw-analyze#4 2022-09-07 11:44:39 +00:00
WIP: 使用更简单的方法证明良序原理
szTom created branch better-proof-well-ordering-theorem in ez_lcw/lcw-analyze 2022-09-07 11:43:16 +00:00
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 11:43:16 +00:00
6093b28560 增加关于有限集合的最大元和最小元的存在性的命题
szTom deleted branch better-proof-well-ordering-theorem from ez_lcw/lcw-analyze 2022-09-07 11:41:30 +00:00
szTom created branch better-proof-well-ordering-theorem in ez_lcw/lcw-analyze 2022-09-07 11:40:30 +00:00
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 11:40:30 +00:00
828f968cdc 增加关于有限集合的最大元和最小元的存在性的命题
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 09:21:12 +00:00
dd8e110e56 Update 'README.md'
szTom opened issue ez_lcw/lcw-analyze#3 2022-09-07 09:20:30 +00:00
翻译定理的名字
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 09:18:20 +00:00
f957fad32d 整理第8章的记号
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-06 00:25:40 +00:00
ddaafa0b25 错别字
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-05 11:38:44 +00:00
ddfe3a8177 遗漏的修改
9a943b567c 按照意见修改
1c27a2440c 整合第六章
4b86466b25 整合第五章
958a8f25c3 更新第4章
Compare 7 commits »
szTom deleted branch better_notations from ez_lcw/lcw-analyze 2022-09-05 11:38:44 +00:00
szTom merged pull request ez_lcw/lcw-analyze#1 2022-09-05 11:38:43 +00:00
整合记号变更及细节修改
szTom pushed to better_notations at ez_lcw/lcw-analyze 2022-09-05 11:37:30 +00:00
03cba9c3dd 遗漏的修改
szTom pushed to better_notations at ez_lcw/lcw-analyze 2022-09-05 11:27:50 +00:00
4d64980b2c 按照意见修改