提交 #13

提交信息
题目#1. 谓词与互归纳证明
提交者test_user
状态Compile Error
分数0
提交时间2026/02/13 05:03:04
源代码
testtest
评测详情
compilecompile_problem
435 ms764 MBFailed
Link failed: problem
ld.lld: error: undefined symbol: initialize_OJ_Config
>>> referenced by problem.c
>>>               /work/problem.o:(initialize_problem)
clang: error: linker command failed with exit code 1 (use -v to see invocation)
输出 (stdout / stderr)
=== stdout ===
[lean -o] /work/problem.lean:22:6: warning: declaration uses 'sorry'

[lean -c] /work/problem.lean:22:6: warning: declaration uses 'sorry'

=== stderr ===
[clang link] ld.lld: error: undefined symbol: initialize_OJ_Config
>>> referenced by problem.c
>>>               /work/problem.o:(initialize_problem)
clang: error: linker command failed with exit code 1 (use -v to see invocation)