1617 |
2020/06/19 18:58:19
|
Infinite duplication
|
fetburner |
Success |
|
|
1616 |
2020/06/17 22:53:49
|
n < m \/ n = m \/ n > m
|
ry3s |
Success |
|
|
1615 |
2020/06/17 21:58:51
|
Summand of one
|
mttm |
Success |
|
|
1614 |
2020/06/17 01:30:07
|
Cumulative sum of list
|
mttm |
Success |
|
|
1613 |
2020/06/16 20:11:50
|
n * S m = n + n * m
|
algon |
Success |
|
|
1612 |
2020/06/16 19:15:18
|
forall f: bool -> bool, f^3(x) = f(x)
|
algon |
Success |
|
|
1611 |
2020/06/16 18:25:36
|
1 + 1 = 2
|
algon |
Success |
|
|
1610 |
2020/06/16 18:19:06
|
plus_comm
|
algon |
Success |
|
|
1609 |
2020/06/16 17:47:42
|
plus_assoc
|
algon |
Success |
|
|
1608 |
2020/06/15 20:22:41
|
forall l: list nat, l @ [0] <> []
|
Eldora |
Success |
|
|
1607 |
2020/06/15 19:06:03
|
S preserves comparison
|
Eldora |
Failure |
|
|
1606 |
2020/06/15 19:05:15
|
S preserves comparison
|
Eldora |
Success |
|
|
1605 |
2020/06/15 19:04:46
|
S preserves comparison
|
Eldora |
Failure |
|
|
1604 |
2020/06/15 17:09:18
|
plus_assoc
|
peroxyacyl |
Success |
|
|
1603 |
2020/06/15 03:02:55
|
1 + 1 = 2
|
yamaNote |
Success |
|
|
1602 |
2020/06/15 03:00:26
|
plus_comm
|
yamaNote |
Success |
|
|
1601 |
2020/06/15 02:54:05
|
plus_assoc
|
yamaNote |
Success |
|
|
1600 |
2020/06/15 02:42:43
|
plus_assoc
|
yamaNote |
Success |
|
|
1599 |
2020/06/15 02:27:45
|
plus_assoc
|
yamaNote |
Failure |
|
|
1598 |
2020/06/14 22:34:39
|
Tree Syntax Unambiguity
|
kozima |
Success |
|
|
1597 |
2020/06/14 22:24:33
|
Tree Syntax Unambiguity
|
yodvhskd |
Success |
|
|
1596 |
2020/06/14 21:33:55
|
Tree Induction
|
kik |
Rejected |
|
|
1595 |
2020/06/14 21:21:11
|
count_occ_app
|
mttm |
Success |
|
|
1594 |
2020/06/14 21:16:30
|
S preserves comparison
|
mttm |
Success |
|
|
1593 |
2020/06/14 21:03:53
|
Tree Syntax Unambiguity
|
yodvhskd |
Success |
|
|
1592 |
2020/06/14 20:41:03
|
Tree Induction
|
efk |
Success |
|
|
1591 |
2020/06/14 20:11:44
|
Tree Induction
|
tanakh |
Success |
|
|
1590 |
2020/06/14 20:10:36
|
Tree Induction
|
tanakh |
Failure |
|
|
1589 |
2020/06/14 20:05:38
|
count_occ_app
|
kano |
Success |
|
|
1588 |
2020/06/14 19:47:10
|
count_occ_app
|
efk |
Success |
|
|
1587 |
2020/06/14 19:36:48
|
Tree Induction
|
sorata |
Success |
|
|
1586 |
2020/06/14 19:25:29
|
Tree Induction
|
yodvhskd |
Success |
|
|
1585 |
2020/06/14 19:21:38
|
count_occ_app
|
natsugiri |
Success |
|
|
1584 |
2020/06/14 19:21:37
|
S preserves comparison
|
efk |
Success |
|
|
1583 |
2020/06/14 19:18:13
|
Tree Induction
|
kozima |
Success |
|
|
1582 |
2020/06/14 19:15:31
|
count_occ_app
|
tanakh |
Success |
|
|
1581 |
2020/06/14 19:15:10
|
count_occ_app
|
kik |
Success |
|
|
1580 |
2020/06/14 19:09:23
|
count_occ_app
|
kozima |
Success |
|
|
1579 |
2020/06/14 19:07:49
|
S preserves comparison
|
kik |
Success |
|
|
1578 |
2020/06/14 19:06:38
|
count_occ_app
|
yodvhskd |
Success |
|
|
1577 |
2020/06/14 19:05:53
|
count_occ_app
|
sorata |
Success |
|
|
1576 |
2020/06/14 19:05:47
|
S preserves comparison
|
tanakh |
Success |
|
|
1575 |
2020/06/14 19:05:15
|
S preserves comparison
|
natsugiri |
Success |
|
|
1574 |
2020/06/14 19:04:13
|
S preserves comparison
|
natsugiri |
Failure |
|
|
1573 |
2020/06/14 19:03:58
|
S preserves comparison
|
kano |
Success |
|
|
1572 |
2020/06/14 19:03:48
|
S preserves comparison
|
yodvhskd |
Success |
|
|
1571 |
2020/06/14 19:02:11
|
S preserves comparison
|
kozima |
Success |
|
|
1570 |
2020/06/14 19:01:35
|
S preserves comparison
|
sorata |
Success |
|
|
1569 |
2020/06/14 18:55:43
|
Boolean-hole principle
|
kano |
Success |
|
|
1568 |
2020/06/13 15:34:20
|
Tree Induction
|
kkob |
Success |
|
|