#2. 列表前缀和列表连续段证明

来源：First Theorem Proving Competition2 AC / 3 提交 · 67%

#	提交者	状态	分数	时间
17	jkjkmxmx	Accepted	100	2026/02/13 20:43:15
16	jkjkmxmx	Compile Error	0	2026/02/13 20:42:35
4	薇薇安	Accepted	100	2026/02/12 22:11:21