Lean 4 真的是一款定理证明器

状态	递交者	时间	内存	语言	代码	递交时间
AC	xuezhe	405ms	5.3 MiB	Lean4	23 KiB	2026-9-23 15:28:37
AC	ZZZ_2026533xxx	405ms	5.3 MiB	Lean4	7.3 KiB	2026-9-21 1:19:34
AC	gly	406ms	5.3 MiB	Lean4	5.3 KiB	2026-9-27 20:38:55
AC	fengyoujingawa	406ms	5.4 MiB	Lean4	23.7 KiB	2026-9-19 1:08:20
AC	WYJ	407ms	5.3 MiB	Lean4	24.2 KiB	2026-10-2 20:39:24
AC	ZhangJiayan	407ms	5.3 MiB	Lean4	24.1 KiB	2026-9-19 1:48:53
AC	ParseYPasy	407ms	5.3 MiB	Lean4	24.5 KiB	2026-9-20 0:01:10
AC	CanTuke	409ms	5.4 MiB	Lean4	24.9 KiB	2026-9-19 22:28:37
AC	ciqiong	410ms	5.3 MiB	Lean4	25 KiB	2026-9-30 10:46:42
AC	nemoiwkryang	411ms	5.2 MiB	Lean4	24.6 KiB	2026-9-19 15:28:25
AC	kousyon	411ms	5.3 MiB	Lean4	9.3 KiB	2026-9-19 17:06:06
AC	Astinita	411ms	5.4 MiB	Lean4 (O2)	7.8 KiB	2026-9-18 2:32:07
AC	zzx	411ms	5.3 MiB	Lean4	4.5 KiB	2026-9-22 10:30:49
AC	xyz	411ms	5.3 MiB	Lean4	6.3 KiB	2026-9-28 9:18:01
AC	IMSummer	412ms	5.3 MiB	Lean4	16.3 KiB	2026-9-19 11:30:52
AC	Mocen_Bear	412ms	5.3 MiB	Lean4	25.3 KiB	2026-9-21 11:25:44
AC	2023533171	412ms	5.3 MiB	Lean4	24.6 KiB	2026-9-19 17:16:59
AC	dzhes	412ms	5.3 MiB	Lean4	23.6 KiB	2026-9-19 1:09:58
AC	azuma	412ms	5.3 MiB	Lean4	23.8 KiB	2026-9-20 2:26:19
AC	Fteqiyr0v0	412ms	5.4 MiB	Lean4	35.3 KiB	2026-9-19 10:17:25
AC	Steven421	413ms	5.3 MiB	Lean4	24.3 KiB	2026-9-19 2:27:47
AC	donaldzhao	413ms	5.4 MiB	Lean4	26.4 KiB	2026-9-20 18:42:13
AC	mystia	413ms	5.3 MiB	Lean4	24.3 KiB	2026-9-21 1:47:40
AC	2026533034	413ms	5.3 MiB	Lean4	23.3 KiB	2026-10-2 17:56:54
AC	xizijian	414ms	5.3 MiB	Lean4	24.3 KiB	2026-9-20 8:29:54
AC	caitl	414ms	5.3 MiB	Lean4	23.9 KiB	2026-9-19 10:51:58
AC	czmmm	414ms	5.5 MiB	Lean4	21.8 KiB	2026-9-19 11:36:09
AC	JanePro	414ms	5.3 MiB	Lean4	6.9 KiB	2026-9-19 13:08:04
AC	OhwhY	414ms	5.3 MiB	Lean4	23.7 KiB	2026-9-21 22:22:32
AC	HuangYiNuo	414ms	5.4 MiB	Lean4	24.2 KiB	2026-9-19 10:01:29
AC	mxdh	414ms	5.3 MiB	Lean4	22.8 KiB	2026-9-19 21:13:41
AC	renmolin	414ms	5.4 MiB	Lean4	25.5 KiB	2026-9-30 20:30:26
AC	Lichk	414ms	5.3 MiB	Lean4	24.5 KiB	2026-9-19 10:21:30
AC	Minkowski	415ms	5.7 MiB	Lean4	4.9 KiB	2026-9-25 12:53:58
AC	Transilent	415ms	5.4 MiB	Lean4	7.3 KiB	2026-9-19 22:33:53
AC	mk671	415ms	5.3 MiB	Lean4	24.2 KiB	2026-10-2 12:01:45
AC	lucas2011	416ms	5.3 MiB	Lean4	23.6 KiB	2026-9-19 2:25:33
AC	WangTianchen	416ms	5.3 MiB	Lean4	19.5 KiB	2026-10-2 20:30:13
AC	Kazuha	416ms	5.6 MiB	Lean4	12.4 KiB	2026-9-19 1:01:32
AC	PusheenTurtle	416ms	5.3 MiB	Lean4	23 KiB	2026-9-22 22:34:08
AC	szk	416ms	5.3 MiB	Lean4	24.3 KiB	2026-9-28 23:20:34
AC	lonelyapple233	416ms	5.4 MiB	Lean4	6.9 KiB	2026-9-19 1:11:52
AC	George	416ms	5.4 MiB	Lean4	4.6 KiB	2026-9-21 10:17:17
AC	Klein	416ms	5.3 MiB	Lean4	24.2 KiB	2026-9-19 2:23:26
AC	Yukar1	416ms	5.3 MiB	Lean4	25.2 KiB	2026-9-20 10:45:58
AC	spacemanbo	416ms	5.2 MiB	Lean4	23.8 KiB	2026-9-20 17:31:04
AC	Guobowen	417ms	5.3 MiB	Lean4	5.4 KiB	2026-9-19 22:33:11
AC	FrozenYears	417ms	5.3 MiB	Lean4	23.5 KiB	2026-9-25 13:23:25
AC	WuSa_513	417ms	5.4 MiB	Lean4	24.6 KiB	2026-9-20 13:49:50
AC	史博文	417ms	5.3 MiB	Lean4	23.7 KiB	2026-9-19 1:26:00
AC	tcq	417ms	6.1 MiB	Lean4	24.4 KiB	2026-9-24 13:44:22
AC	Frainstak	418ms	5.2 MiB	Lean4	31.4 KiB	2026-9-19 0:51:47
AC	Yuehch	418ms	5.3 MiB	Lean4	23 KiB	2026-9-19 3:23:54
AC	hysonger	419ms	5.3 MiB	Lean4	25 KiB	2026-9-19 2:56:58
AC	lzytechtip	419ms	5.4 MiB	Lean4	23.3 KiB	2026-9-19 7:40:01
AC	eternity0x0	419ms	5.3 MiB	Lean4	23.1 KiB	2026-9-22 19:23:04
AC	kangqiao	419ms	5.3 MiB	Lean4	23.9 KiB	2026-9-20 21:52:50
AC	wushj	419ms	5.4 MiB	Lean4	23.9 KiB	2026-9-19 1:27:26
AC	cgy	419ms	5.3 MiB	Lean4	5.3 KiB	2026-9-19 4:19:46
AC	hyperexx	419ms	5.3 MiB	Lean4 (O2)	24.4 KiB	2026-9-27 15:41:36
AC	ecou	420ms	5.3 MiB	Lean4	24.9 KiB	2026-9-19 12:44:20
AC	heck	420ms	5.4 MiB	Lean4	25.2 KiB	2026-9-19 10:20:16
AC	BlueFlag	421ms	5.3 MiB	Lean4 (O2)	5.7 KiB	2026-9-19 1:46:55
AC	var_phi	422ms	5.3 MiB	Lean4	27.3 KiB	2026-9-30 14:34:56
AC	david	422ms	5.3 MiB	Lean4	23.3 KiB	2026-9-22 11:29:12
AC	LunaEnola	422ms	5.3 MiB	Lean4	25.1 KiB	2026-9-19 12:09:21
AC	Sean	423ms	5.5 MiB	Lean4	23.5 KiB	2026-9-19 20:07:11
AC	Fanboyu	424ms	5.3 MiB	Lean4	24 KiB	2026-9-19 4:37:32
AC	foreverest	425ms	5.2 MiB	Lean4	24.2 KiB	2026-9-19 4:32:53
AC	JiantianChen	425ms	5.7 MiB	Lean4	24.5 KiB	2026-9-19 16:26:08
AC	花椰菜	425ms	5.2 MiB	Lean4	25 KiB	2026-9-26 10:20:17
AC	HdgFlsh	426ms	5.3 MiB	Lean4	24.4 KiB	2026-9-19 1:34:30
AC	Rainkch	426ms	5.2 MiB	Lean4	24.5 KiB	2026-9-21 23:50:24
AC	tomorin666	426ms	5.3 MiB	Lean4	25.3 KiB	2026-9-21 21:25:46
AC	Aaron141414	426ms	5.3 MiB	Lean4	26.2 KiB	2026-9-20 19:27:54
AC	qinjq2024	427ms	5.4 MiB	Lean4	24 KiB	2026-9-29 14:12:43
AC	YunfengYu	429ms	5.2 MiB	Lean4	24.3 KiB	2026-9-19 12:16:33
AC	Neil2887	429ms	5.3 MiB	Lean4	29.2 KiB	2026-9-20 14:12:28
AC	xiewd2025	431ms	5.3 MiB	Lean4	23.7 KiB	2026-9-30 22:31:02
AC	mayx2024	431ms	5.3 MiB	Lean4	24 KiB	2026-9-22 1:09:51
AC	CodeIce	432ms	5.4 MiB	Lean4	24.4 KiB	2026-9-19 2:38:20
AC	Water-Bucket	439ms	5.4 MiB	Lean4	8.7 KiB	2026-9-19 9:20:06