| 1467 |
2020/03/18 21:47:20
|
forall f: bool -> bool, f^3(x) = f(x)
|
shimomire |
Success |
|
|
| 1466 |
2020/03/18 21:19:41
|
1 + 1 = 2
|
shimomire |
Success |
|
|
| 1465 |
2020/03/18 21:17:41
|
plus_comm
|
shimomire |
Success |
|
|
| 1464 |
2020/03/18 21:03:12
|
plus_assoc
|
shimomire |
Success |
|
|
| 1463 |
2020/03/18 08:07:24
|
Sum of binomial coefficients
|
tanakh |
Success |
|
|
| 1462 |
2020/03/18 08:02:32
|
Sum of binomial coefficients
|
tanakh |
Rejected |
|
|
| 1461 |
2020/03/18 00:20:45
|
Iterated iteration
|
tanakh |
Success |
|
|
| 1460 |
2020/03/18 00:17:37
|
Iterated iteration
|
tanakh |
Success |
|
|
| 1459 |
2020/03/18 00:16:37
|
Iterated iteration
|
tanakh |
Failure |
|
|
| 1458 |
2020/03/17 23:26:23
|
Iterated iteration
|
tanakh |
Rejected |
|
|
| 1457 |
2020/03/17 17:20:57
|
eq_sym?
|
a_kawashiro |
Failure |
|
|
| 1456 |
2020/03/17 17:19:41
|
eq_sym?
|
a_kawashiro |
Failure |
|
|
| 1455 |
2020/03/17 16:32:12
|
De Morgan's laws in Coq
|
zer0star |
Success |
|
|
| 1454 |
2020/03/17 16:10:46
|
mult_n_O
|
zer0star |
Success |
|
|
| 1453 |
2020/03/17 15:59:12
|
Multiplication in F_2 is idempotent
|
zer0star |
Success |
|
|
| 1452 |
2020/03/17 15:07:58
|
Definitions of injectivity
|
zer0star |
Success |
|
|
| 1451 |
2020/03/16 09:25:30
|
Postorder traversal
|
tzik |
Success |
|
|
| 1450 |
2020/03/16 09:25:06
|
Not a sum of squares
|
tzik |
Success |
|
|
| 1449 |
2020/03/16 09:24:47
|
eq_sym?
|
tzik |
Success |
|
|
| 1448 |
2020/03/16 07:48:16
|
Cycle detection
|
tzik |
Success |
|
|
| 1447 |
2020/03/16 02:55:12
|
Cycle detection
|
yodvhskd |
Success |
|
|
| 1446 |
2020/03/16 01:04:29
|
Postorder traversal
|
tanakh |
Success |
|
|
| 1445 |
2020/03/15 23:52:52
|
Cumulative sum of list
|
zer0star |
Success |
|
|
| 1444 |
2020/03/15 23:51:17
|
Cumulative sum of list
|
zer0star |
Failure |
|
|
| 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 |
|
|