| 1487 |
2020/04/29 12:12:49
|
Drinker paradox?
|
kozima |
Success |
|
|
| 1486 |
2020/04/29 12:12:30
|
Upper triangular (soundness)
|
kozima |
Success |
|
|
| 1485 |
2020/04/29 12:12:12
|
Upper triangular (completeness)
|
kozima |
Failure |
|
|
| 1484 |
2020/04/29 12:11:50
|
Infinite duplication
|
kozima |
Failure |
|
|
| 1483 |
2020/04/29 12:11:28
|
Swap twice
|
kozima |
Success |
|
|
| 1482 |
2020/04/26 22:55:33
|
1 + 1 = 2
|
gaxiiiiiiiiiiii |
Success |
|
|
| 1481 |
2020/04/26 22:53:49
|
plus_comm
|
gaxiiiiiiiiiiii |
Success |
|
|
| 1480 |
2020/04/26 22:43:48
|
plus_assoc
|
gaxiiiiiiiiiiii |
Success |
|
|
| 1479 |
2020/04/17 14:12:53
|
n * S m = n + n * m
|
Eldora |
Success |
|
|
| 1478 |
2020/04/16 18:38:41
|
and_comm (Lean)
|
yodvhskd |
Success |
|
|
| 1477 |
2020/03/31 17:24:14
|
Binary search
|
tanakh |
Success |
|
|
| 1476 |
2020/03/31 05:56:11
|
l1 <> l2 if l2 is an odd permutation of l1
|
tanakh |
Success |
|
|
| 1475 |
2020/03/28 01:18:40
|
Equivalent two quicksorts
|
tanakh |
Success |
|
|
| 1474 |
2020/03/28 01:17:19
|
Equivalent two quicksorts
|
tanakh |
Failure |
|
|
| 1473 |
2020/03/21 12:56:49
|
1 + 1 = 2
|
smizoe |
Success |
|
|
| 1472 |
2020/03/21 12:55:40
|
1 + 1 = 2
|
smizoe |
Failure |
|
|
| 1471 |
2020/03/21 12:53:27
|
1 + 1 = 2
|
smizoe |
Failure |
|
|
| 1470 |
2020/03/19 00:03:22
|
n < m \/ n = m \/ n > m
|
shimomire |
Success |
|
|
| 1469 |
2020/03/18 23:58:52
|
n * S m = n + n * m
|
shimomire |
Success |
|
|
| 1468 |
2020/03/18 22:10:28
|
forall f: bool -> bool, f^3(x) = f(x)
|
shimomire |
Success |
|
|
| 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 |
|
|