| 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 |
|
|
| 1567 |
2020/06/13 15:29:21
|
Tree Induction
|
kkob |
Success |
|
|
| 1566 |
2020/06/11 17:29:01
|
S preserves comparison
|
kkob |
Success |
|
|
| 1565 |
2020/06/09 20:09:15
|
n < m \/ n = m \/ n > m
|
hammer |
Success |
|
|
| 1564 |
2020/06/09 18:33:49
|
n * S m = n + n * m
|
hammer |
Success |
|
|
| 1563 |
2020/06/09 18:11:23
|
forall f: bool -> bool, f^3(x) = f(x)
|
hammer |
Success |
|
|
| 1562 |
2020/06/09 17:33:07
|
1 + 1 = 2
|
hammer |
Success |
|
|