#1. 谓词与互归纳证明

来源：First Theorem Proving Competition3 AC / 7 提交 · 43%

#	提交者	状态	分数	时间
15	jkjkmxmx	Accepted	50	2026/02/13 20:21:08
14	jkjkmxmx	Compile Error	0	2026/02/13 20:18:56
13	test_user	Compile Error	0	2026/02/13 05:03:04
12	Qingyu	Accepted	50	2026/02/13 04:14:28
3	薇薇安	Accepted	50	2026/02/12 22:11:20
2	薇薇安	Unaccepted	0	2026/02/12 19:10:50
1	薇薇安	Unaccepted	0	2026/02/12 18:25:38