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

来源：First Theorem Proving Competition2 AC / 3 提交 · 67%
讨论功能即将推出