TopProver
ver.0.7.0
Contests
All Tasks
Submissions
Ranking
FAQ
Register
Login
Submissions
Filter
Task Name
User Name
Judge Status
Waiting Judge
Running pretest
Pretest passed
System testing
Success
Failure
Rejected
Timeout
Waiting Judge (TL x20)
Running pretest (TL x20)
Pretest passed (TL x20)
System testing (TL x20)
Success (TL x20)
Filter
Found 1987 submissions.
#
Time
Task Name
User Name
Status
1437
2020/03/15 22:47:54
forall f: bool -> bool, f^3(x) = f(x)
zer0star
Success
1436
2020/03/15 22:43:09
and_comm (Lean)
tanakh
Success
1435
2020/03/15 22:39:38
1 + 1 = 2
KisaragiEffective
Success
1434
2020/03/15 22:36:28
Cycle detection
kkob
Success
1433
2020/03/15 22:28:01
and_comm (Lean)
tanakh
Success
1432
2020/03/15 22:13:34
1 + 1 = 2
zer0star
Success
1431
2020/03/15 22:08:35
Not a sum of squares
kimiyuki
Success
1430
2020/03/15 21:57:38
Not a sum of squares
tanakh
Success
1429
2020/03/15 21:57:28
Not a sum of squares
kimiyuki
Success
1428
2020/03/15 21:30:44
Postorder traversal
kik
Success
1427
2020/03/15 21:25:10
Cycle detection
kaz
Success
1426
2020/03/15 21:16:50
Postorder traversal
natsugiri
Success
1425
2020/03/15 21:14:51
Postorder traversal
yamarten
Success
1424
2020/03/15 21:11:56
Not a sum of squares
tzik
Success
1423
2020/03/15 21:06:54
Postorder traversal
kimiyuki
Success
1422
2020/03/15 21:05:31
Not a sum of squares
kik
Success
1421
2020/03/15 20:57:09
eq_sym?
mttm
Success
1420
2020/03/15 20:52:49
eq_sym?
natsugiri
Success
1419
2020/03/15 20:46:23
Postorder traversal
tzik
Success
1418
2020/03/15 20:42:52
Postorder traversal
yodvhskd
Success
1417
2020/03/15 20:41:50
Postorder traversal
sorata
Success
1416
2020/03/15 20:35:39
Not a sum of squares
yodvhskd
Success
1415
2020/03/15 20:29:20
Not a sum of squares
sorata
Success
1414
2020/03/15 20:28:38
Postorder traversal
kkob
Success
1413
2020/03/15 20:28:17
Postorder traversal
sorata
Failure
1412
2020/03/15 20:22:59
Not a sum of squares
kkob
Success
1411
2020/03/15 20:18:13
Postorder traversal
kaz
Success
1410
2020/03/15 20:13:52
Postorder traversal
fetburner
Success
1409
2020/03/15 20:13:01
Not a sum of squares
kaz
Success
1408
2020/03/15 20:12:07
eq_sym?
kik
Success
1407
2020/03/15 20:05:23
eq_sym?
tanakh
Success
1406
2020/03/15 20:04:11
eq_sym?
prime
Success
1405
2020/03/15 20:04:02
eq_sym?
kimiyuki
Success
1404
2020/03/15 20:03:50
eq_sym?
sorata
Success
1403
2020/03/15 20:03:45
eq_sym?
tzik
Success
1402
2020/03/15 20:03:16
eq_sym?
fetburner
Success
1401
2020/03/15 20:02:44
eq_sym?
yamarten
Success
1400
2020/03/15 20:01:34
eq_sym?
kkob
Success
1399
2020/03/15 20:01:02
eq_sym?
yodvhskd
Success
1398
2020/03/15 20:01:00
eq_sym?
kaz
Success
1397
2020/03/15 19:47:54
Zero test
yodvhskd
Success
1396
2020/03/15 19:20:09
Three is prime
prime
Failure
1395
2020/03/15 18:42:47
Boolean-hole principle
prime
Success
1394
2020/03/12 20:05:52
mult_n_O
nekodesu
Failure
1393
2020/03/12 19:55:51
gcd(n, n+1) = 1
nekodesu
Failure
1392
2020/03/10 19:46:44
Cycle detection
kozima
Success
1391
2020/03/10 19:46:08
Postorder traversal
kozima
Success
1390
2020/03/10 19:45:06
Not a sum of squares
kozima
Success
1389
2020/03/10 19:44:14
eq_sym?
kozima
Success
1388
2020/03/05 19:00:38
and_comm (Lean)
ukikagi
Success
«
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
»
>>Show ALL