| 1631 |
2020/06/23 23:23:24
|
Upper triangular (soundness)
|
kano |
Success |
|
|
| 1630 |
2020/06/23 16:49:13
|
Drinker paradox?
|
kano |
Success |
|
|
| 1629 |
2020/06/23 16:10:38
|
n < m \/ n = m \/ n > m
|
kano |
Success |
|
|
| 1628 |
2020/06/23 16:09:44
|
n < m \/ n = m \/ n > m
|
kano |
Failure |
|
|
| 1627 |
2020/06/20 00:00:53
|
Midpoint
|
kano |
Success |
|
|
| 1626 |
2020/06/19 22:43:22
|
Zero test
|
kano |
Success |
|
|
| 1625 |
2020/06/19 21:53:32
|
Tree Syntax Unambiguity
|
fetburner |
Success |
|
|
| 1624 |
2020/06/19 20:14:26
|
Constructor is injective
|
kano |
Success |
|
|
| 1623 |
2020/06/19 20:10:48
|
Constructor is injective
|
kano |
Failure |
|
|
| 1622 |
2020/06/19 20:01:48
|
Three is prime
|
kano |
Success |
|
|
| 1621 |
2020/06/19 19:48:34
|
Three is prime
|
kano |
Success |
|
|
| 1620 |
2020/06/19 19:17:16
|
Tree Induction
|
fetburner |
Success |
|
|
| 1619 |
2020/06/19 19:09:18
|
count_occ_app
|
fetburner |
Success |
|
|
| 1618 |
2020/06/19 19:05:33
|
S preserves comparison
|
fetburner |
Success |
|
|
| 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 |
|
|