结合顺序、条件和 while 例子，练习程序等价性的证明思路。
2026-02-03
小步语义格局变换练习
通过格局变换题练熟小步语义，尤其是“每一步怎么写”。
2026-02-02
