| 1550 |
2020/05/28 10:38:02
|
1 + 1 = 2
|
Tqk |
Success |
|
|
| 1549 |
2020/05/21 20:39:56
|
Yoneda embedding for preorder
|
efk |
Success |
|
|
| 1548 |
2020/05/21 20:08:57
|
Swap twice
|
kkob |
Rejected |
|
|
| 1547 |
2020/05/21 19:33:02
|
Boolean-hole principle
|
efk |
Success |
|
|
| 1546 |
2020/05/20 20:26:35
|
plus_assoc
|
aaa |
Success |
|
|
| 1545 |
2020/05/20 20:26:01
|
plus_assoc
|
aaa |
Failure |
|
|
| 1544 |
2020/05/20 13:36:38
|
Boolean-hole principle
|
cympfh |
Success |
|
|
| 1543 |
2020/05/13 02:21:51
|
eq_sym?
|
cympfh |
Success |
|
|
| 1542 |
2020/05/10 19:34:47
|
eq_sym?
|
kano |
Success |
|
|
| 1541 |
2020/05/10 19:23:22
|
mult_n_O
|
kano |
Success |
|
|
| 1540 |
2020/05/10 19:20:34
|
n * S m = n + n * m
|
kano |
Success |
|
|
| 1539 |
2020/05/10 18:51:45
|
forall f: bool -> bool, f^3(x) = f(x)
|
kano |
Success |
|
|
| 1538 |
2020/05/10 18:40:39
|
1 + 1 = 2
|
kano |
Success |
|
|
| 1537 |
2020/05/10 18:39:40
|
plus_comm
|
kano |
Success |
|
|
| 1536 |
2020/05/08 23:40:34
|
Infinite duplication
|
tzik |
Success |
|
|
| 1535 |
2020/05/08 19:29:47
|
Swap twice
|
cympfh |
Success |
|
|
| 1534 |
2020/05/08 19:29:11
|
Swap twice
|
cympfh |
Failure |
|
|
| 1533 |
2020/05/05 05:39:20
|
Cycle detection
|
aaa |
Success |
|
|
| 1532 |
2020/05/05 05:37:43
|
Cycle detection
|
aaa |
Failure |
|
|
| 1531 |
2020/05/05 02:23:06
|
Equivalent two quicksorts
|
yodvhskd |
Success |
|
|
| 1530 |
2020/05/05 02:18:06
|
Equivalent two quicksorts
|
yodvhskd |
Failure |
|
|
| 1529 |
2020/05/03 23:50:39
|
Upper triangular (soundness)
|
mttm |
Success |
|
|
| 1528 |
2020/05/03 23:39:22
|
Drinker paradox?
|
mttm |
Success |
|
|
| 1527 |
2020/05/03 21:51:34
|
Infinite duplication
|
kik |
Success |
|
|
| 1526 |
2020/05/03 21:49:17
|
Upper triangular (completeness)
|
natsugiri |
Success |
|
|
| 1525 |
2020/05/03 21:43:42
|
Infinite duplication
|
yodvhskd |
Success |
|
|
| 1524 |
2020/05/03 21:42:51
|
Infinite duplication
|
hirosegolf |
Failure |
|
|
| 1523 |
2020/05/03 21:02:03
|
Upper triangular (completeness)
|
tzik |
Success |
|
|
| 1522 |
2020/05/03 20:54:52
|
Upper triangular (completeness)
|
hirosegolf |
Success |
|
|
| 1521 |
2020/05/03 20:54:27
|
Upper triangular (soundness)
|
hirosegolf |
Failure |
|
|
| 1520 |
2020/05/03 20:41:38
|
Upper triangular (completeness)
|
kik |
Success |
|
|
| 1519 |
2020/05/03 20:41:08
|
Drinker paradox?
|
tzik |
Success |
|
|
| 1518 |
2020/05/03 20:32:54
|
Upper triangular (soundness)
|
hirosegolf |
Success |
|
|
| 1517 |
2020/05/03 20:32:43
|
Upper triangular (completeness)
|
tanakh |
Success |
|
|
| 1516 |
2020/05/03 20:31:11
|
Upper triangular (completeness)
|
yodvhskd |
Success |
|
|
| 1515 |
2020/05/03 20:26:22
|
Upper triangular (soundness)
|
natsugiri |
Success |
|
|
| 1514 |
2020/05/03 20:26:13
|
Drinker paradox?
|
hirosegolf |
Success |
|
|
| 1513 |
2020/05/03 20:22:53
|
Upper triangular (soundness)
|
yodvhskd |
Success |
|
|
| 1512 |
2020/05/03 20:21:57
|
Upper triangular (soundness)
|
kik |
Success |
|
|
| 1511 |
2020/05/03 20:20:25
|
Upper triangular (completeness)
|
fetburner |
Success |
|
|
| 1510 |
2020/05/03 20:19:57
|
Drinker paradox?
|
natsugiri |
Success |
|
|
| 1509 |
2020/05/03 20:17:30
|
Drinker paradox?
|
yodvhskd |
Success |
|
|
| 1508 |
2020/05/03 20:11:01
|
Upper triangular (soundness)
|
tzik |
Success |
|
|
| 1507 |
2020/05/03 20:08:44
|
Upper triangular (soundness)
|
fetburner |
Success |
|
|
| 1506 |
2020/05/03 20:08:43
|
Upper triangular (soundness)
|
tanakh |
Success |
|
|
| 1505 |
2020/05/03 20:06:25
|
Drinker paradox?
|
fetburner |
Success |
|
|
| 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 |
|
|