Yu Cong sxlxc
  • Joined on 2025-04-20
sxlxc pushed to master at sxlxc/EXP3notes 2025-12-15 14:02:03 +08:00
sxlxc pushed to master at sxlxc/EXP3notes 2025-12-15 12:00:18 +08:00
281c68fa2e first commit
sxlxc created branch master in sxlxc/EXP3notes 2025-12-15 12:00:18 +08:00
sxlxc created repository sxlxc/EXP3notes 2025-12-15 12:00:06 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-14 12:33:00 +08:00
a341111ef2 add a proof
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-14 00:32:15 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-04 13:47:38 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-04 13:33:04 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-04 11:48:27 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-03 22:09:55 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-03 17:27:13 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-03 14:12:17 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-03 12:20:54 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-03 11:28:07 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-03 11:09:54 +08:00
83d8650321 support size
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-02 21:33:41 +08:00
9621cfe34f counterexample. S is not always a base
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-02 21:06:51 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-02 11:54:02 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-02 00:05:21 +08:00
sxlxc pushed to master at sxlxc/ideal-base-packing 2025-12-01 23:38:38 +08:00