| 1504 |
2020/05/03 20:06:18
|
Swap twice
|
hirosegolf |
Success |
|
|
| 1503 |
2020/05/03 20:05:43
|
Drinker paradox?
|
tanakh |
Success |
|
|
| 1502 |
2020/05/03 20:05:33
|
Drinker paradox?
|
kik |
Success |
|
|
| 1501 |
2020/05/03 20:04:35
|
Swap twice
|
natsugiri |
Success |
|
|
| 1500 |
2020/05/03 20:04:34
|
Swap twice
|
tzik |
Success |
|
|
| 1499 |
2020/05/03 20:03:08
|
Swap twice
|
kano |
Success |
|
|
| 1498 |
2020/05/03 20:02:01
|
Swap twice
|
mttm |
Success |
|
|
| 1497 |
2020/05/03 20:01:42
|
Swap twice
|
kik |
Success |
|
|
| 1496 |
2020/05/03 20:01:36
|
Swap twice
|
fetburner |
Success |
|
|
| 1495 |
2020/05/03 20:01:00
|
Swap twice
|
yodvhskd |
Success |
|
|
| 1494 |
2020/05/03 20:00:59
|
Swap twice
|
tanakh |
Success |
|
|
| 1493 |
2020/05/03 19:50:49
|
Not a sum of squares
|
fetburner |
Success |
|
|
| 1492 |
2020/05/03 19:20:24
|
plus_assoc
|
kano |
Success |
|
|
| 1491 |
2020/05/03 14:51:10
|
Infinite duplication
|
kozima |
Success |
|
|
| 1490 |
2020/05/03 14:50:41
|
Upper triangular (completeness)
|
kozima |
Success |
|
|
| 1489 |
2020/05/01 04:37:17
|
Cycle detection
|
kaz |
Failure |
|
|
| 1488 |
2020/05/01 04:31:29
|
Cycle detection
|
kaz |
Failure |
|
|
| 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 |
|
|