| 1651 |
2020/07/04 18:20:54
|
Tree addressing is injective
|
kano |
Success |
|
|
| 1650 |
2020/07/04 18:20:08
|
Tree addressing is injective
|
kano |
Failure |
|
|
| 1649 |
2020/07/04 16:43:45
|
Any natural number is expressible in binary notation
|
kano |
Success |
|
|
| 1648 |
2020/07/04 16:43:09
|
Any natural number is expressible in binary notation
|
kano |
Failure |
|
|
| 1647 |
2020/07/04 14:53:09
|
Two is not Three
|
kano |
Success |
|
|
| 1646 |
2020/07/04 04:40:45
|
Infinite duplication
|
kkob |
Success |
|
|
| 1645 |
2020/07/03 23:08:30
|
unique count
|
kano |
Success |
|
|
| 1644 |
2020/07/02 22:49:59
|
unique (unique l) = l
|
kano |
Success |
|
|
| 1643 |
2020/07/01 21:56:07
|
Multiplication in F_2 is idempotent
|
kano |
Success |
|
|
| 1642 |
2020/07/01 21:55:44
|
Multiplication in F_2 is idempotent
|
kano |
Failure |
|
|
| 1641 |
2020/07/01 02:03:34
|
Definitions of injectivity
|
kano |
Success |
|
|
| 1640 |
2020/07/01 02:00:25
|
Definitions of injectivity
|
kano |
Failure |
|
|
| 1639 |
2020/06/30 01:54:04
|
Tree Syntax Unambiguity
|
kkob |
Success |
|
|
| 1638 |
2020/06/30 01:51:34
|
Tree Syntax Unambiguity
|
kkob |
Failure |
|
|
| 1637 |
2020/06/30 01:49:56
|
Tree Syntax Unambiguity
|
kkob |
Failure |
|
|
| 1636 |
2020/06/28 16:21:36
|
Cumulative sum of list
|
kano |
Success |
|
|
| 1635 |
2020/06/26 19:49:27
|
count l n = count (rev l) n
|
kano |
Success |
|
|
| 1634 |
2020/06/26 19:47:19
|
count l n = count (rev l) n
|
kano |
Failure |
|
|
| 1633 |
2020/06/26 15:56:14
|
Upper triangular (completeness)
|
kano |
Success |
|
|
| 1632 |
2020/06/25 05:52:23
|
n < m \/ n = m \/ n > m
|
dareka |
Failure |
|
|
| 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 |
|
|