提交 #2
提交信息
| 题目 | #1. 谓词与互归纳证明 |
| 提交者 | vvauted |
| 状态 | Unaccepted |
| 分数 | 0 |
| 提交时间 | 2026/02/12 19:10:50 |
源代码
theorem dummy_clean : True := by trivial评测详情
compilecompile_problem740 ms1051 MBOK
Built: problem
输出 (stdout / stderr)
[lean -o] /work/problem.lean:22:6: warning: declaration uses 'sorry' [lean -c] /work/problem.lean:22:6: warning: declaration uses 'sorry'
compilecompile_usersol724 ms1057 MBOK
Built: UserSol
gradegrade117 ms409 MBOK
Score: 0
输出 (stdout / stderr)
{"score": 0, "passed": false, "status": "wrong_answer", "subtasks": [{"id": 1, "name": "neg_a", "score": 0, "passed": false, "msg": "Answer theorem not found"}]}
评测结果
评分
Failed0 分
| 测试点 | 结果 | 信息 | 得分 |
|---|---|---|---|
| #1 neg_a | Wrong Answer | Answer theorem not found | 0 |