题目列表共 9 题
| # | 题目 | 状态 | AC | 提交 | 通过率 |
|---|---|---|---|---|---|
| 1 | 谓词与互归纳证明 | - | 3 | 7 | 43% |
| 2 | 列表前缀和列表连续段证明 | - | 2 | 3 | 67% |
| 3 | 二叉树镜像证明 | - | 2 | 2 | 100% |
| 4 | 二分搜索极小点证明 | - | 1 | 2 | 50% |
| 5 | 背包问题最优解算法证明 | - | 2 | 2 | 100% |
| 6 | 模同余相关性质和中国剩余定理证明 | - | 3 | 4 | 75% |
| 7 | 整数减法器的可靠性定理证明 | - | 1 | 3 | 33% |
| 8 | 内存分配程序的霍尔逻辑证明 | - | 0 | 1 | 0% |
| 9 | 程序的时间复杂度证明 | - | 3 | 2 | 150% |
| # | 题目 | 状态 | AC | 提交 | 通过率 |
|---|---|---|---|---|---|
| 1 | 谓词与互归纳证明 | - | 3 | 7 | 43% |
| 2 | 列表前缀和列表连续段证明 | - | 2 | 3 | 67% |
| 3 | 二叉树镜像证明 | - | 2 | 2 | 100% |
| 4 | 二分搜索极小点证明 | - | 1 | 2 | 50% |
| 5 | 背包问题最优解算法证明 | - | 2 | 2 | 100% |
| 6 | 模同余相关性质和中国剩余定理证明 | - | 3 | 4 | 75% |
| 7 | 整数减法器的可靠性定理证明 | - | 1 | 3 | 33% |
| 8 | 内存分配程序的霍尔逻辑证明 | - | 0 | 1 | 0% |
| 9 | 程序的时间复杂度证明 | - | 3 | 2 | 150% |