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 |
|
|
1387 |
2020/02/26 14:48:34
|
n < m \/ n = m \/ n > m
|
yishibashi |
Success |
|
|
1386 |
2020/02/25 17:50:45
|
Zero test
|
proofninja |
Failure |
|
|
1385 |
2020/02/24 03:44:57
|
Zero test
|
chir |
Success |
|
|
1384 |
2020/02/24 03:01:08
|
n < m \/ n = m \/ n > m
|
chir |
Success |
|
|
1383 |
2020/02/24 02:45:21
|
n * S m = n + n * m
|
chir |
Success |
|
|
1382 |
2020/02/24 02:21:42
|
forall f: bool -> bool, f^3(x) = f(x)
|
chir |
Success |
|
|
1381 |
2020/02/24 02:10:16
|
1 + 1 = 2
|
chir |
Success |
|
|
1380 |
2020/02/20 08:11:11
|
n < m \/ n = m \/ n > m
|
emoken |
Success |
|
|
1379 |
2020/02/18 12:27:11
|
n * S m = n + n * m
|
emoken |
Success |
|
|
1378 |
2020/02/18 12:21:58
|
forall f: bool -> bool, f^3(x) = f(x)
|
emoken |
Success |
|
|
1377 |
2020/02/18 12:11:50
|
1 + 1 = 2
|
emoken |
Success |
|
|
1376 |
2020/02/18 12:07:53
|
plus_comm
|
emoken |
Success |
|
|
1375 |
2020/02/18 12:00:19
|
plus_comm
|
emoken |
Success |
|
|
1374 |
2020/02/18 11:53:06
|
plus_assoc
|
emoken |
Success |
|
|
1373 |
2020/02/13 19:01:51
|
and_comm (Lean)
|
na4zagin3 |
Success |
|
|
1372 |
2020/02/13 18:38:32
|
and_comm (Lean)
|
blue_jam |
Success |
|
|
1371 |
2020/02/08 07:20:41
|
and_comm (Lean)
|
tzik |
Success |
|
|
1370 |
2020/02/07 14:55:59
|
forall l: list nat, l @ [0] <> []
|
mttm |
Success |
|
|
1369 |
2020/02/07 14:42:57
|
Product of n consecutive integers is divisible by n!
|
mttm |
Success |
|
|
1368 |
2020/02/06 19:07:17
|
gcd(n, n+1) = 1
|
nekodesu |
Failure |
|
|