#7. 整数减法器的可靠性定理证明

来源：First Theorem Proving Competition1 AC / 3 提交 · 33%