| 1443 |
2020/03/15 23:48:12
|
Cumulative sum of list
|
zer0star |
Failure |
|
|
| 1442 |
2020/03/15 23:09:42
|
forall l: list nat, l @ [0] <> []
|
zer0star |
Success |
|
|
| 1441 |
2020/03/15 22:57:09
|
Cycle detection
|
kkob |
Success |
|
|
| 1440 |
2020/03/15 22:54:37
|
Cycle detection
|
fetburner |
Success |
|
|
| 1439 |
2020/03/15 22:54:36
|
n < m \/ n = m \/ n > m
|
zer0star |
Success |
|
|
| 1438 |
2020/03/15 22:50:54
|
n * S m = n + n * m
|
zer0star |
Success |
|
|
| 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 |
|
|