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

来源：First Theorem Proving Competition1 AC / 3 提交 · 33%
#提交者状态分数时间
24jkjkmxmxUnaccepted302026/02/13 20:54:26
23jkjkmxmxCompile Error02026/02/13 20:52:44
9薇薇安Accepted2002026/02/12 22:11:24