丛宇 sxlxc
0 Followers · 0 Following
  • Joined on 2025-04-20
Repositories
28
 Projects Packages Public Activity Starred Repositories
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-25 12:15:39 +08:00
a7cacdd04d z
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-25 11:53:57 +08:00
738de68b67 z
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-24 20:57:29 +08:00
569b3eaf24 lemma 4
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-24 17:41:56 +08:00
555873eb8c z
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-24 15:20:48 +08:00
ef461bf2ae z
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-22 14:04:08 +08:00
a5245c6983 z
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-21 17:11:38 +08:00
e6cadf07c2 z
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-21 00:07:51 +08:00
394807d589 z
sxlxc pushed tag latest to sxlxc/ideal-base-packing 2025-11-20 22:06:36 +08:00
sxlxc released PDF at sxlxc/ideal-base-packing 2025-11-20 22:06:36 +08:00
sxlxc created branch master in sxlxc/ideal-base-packing 2025-11-20 21:11:32 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-11-20 21:11:32 +08:00
90dcfdbc08 z
sxlxc created repository sxlxc/ideal-base-packing 2025-11-20 21:10:33 +08:00
sxlxc pushed to main at sxlxc/evencut 2025-11-19 22:18:37 +08:00
b2270e4afa update the proof
sxlxc pushed to main at sxlxc/evencut 2025-11-14 19:29:35 +08:00
e4663d0214 z
sxlxc pushed to main at sxlxc/evencut 2025-11-11 13:54:07 +08:00
60645b1c11 add zed tasks
sxlxc pushed to main at sxlxc/evencut 2025-11-07 16:44:43 +08:00
638decd3d1 F* conjecture
sxlxc pushed to main at sxlxc/evencut 2025-11-05 00:02:35 +08:00
1e2dbd7074 Update notes.tex
sxlxc pushed to main at sxlxc/evencut 2025-11-05 00:02:16 +08:00
10c8dccad8 Update notes.tex
sxlxc pushed to main at sxlxc/evencut 2025-11-04 22:44:13 +08:00
94de1d1f19 Update notes.tex