| 1767 |
2020/10/10 01:01:48
|
Multiplication in F_2 is idempotent
|
shift0 |
Success |
|
|
| 1766 |
2020/10/09 23:38:38
|
Definitions of injectivity
|
shift0 |
Success |
|
|
| 1765 |
2020/10/09 22:56:59
|
Cumulative sum of list
|
shift0 |
Success |
|
|
| 1764 |
2020/10/09 21:25:16
|
forall l: list nat, l @ [0] <> []
|
shift0 |
Success |
|
|
| 1763 |
2020/10/09 21:24:28
|
forall l: list nat, l @ [0] <> []
|
shift0 |
Failure |
|
|
| 1762 |
2020/10/09 21:23:36
|
forall l: list nat, l @ [0] <> []
|
shift0 |
Failure |
|
|
| 1761 |
2020/10/05 22:27:03
|
unique count
|
yodvhskd |
Success |
|
|
| 1760 |
2020/09/30 19:21:22
|
Eat the Candies
|
yodvhskd |
Success |
|
|
| 1759 |
2020/09/30 09:54:31
|
Eat the Candies
|
kkob |
Success |
|
|
| 1758 |
2020/09/29 21:05:57
|
Flat CPO
|
nekodesu |
Failure |
|
|
| 1757 |
2020/09/29 20:45:08
|
Flat CPO
|
nuip |
Failure |
|
|
| 1756 |
2020/09/29 20:27:57
|
Double
|
shift0 |
Success |
|
|
| 1755 |
2020/09/29 20:27:05
|
Double
|
shift0 |
Failure |
|
|
| 1754 |
2020/09/29 20:25:42
|
Double
|
shift0 |
Failure |
|
|
| 1753 |
2020/09/29 20:24:34
|
Double
|
shift0 |
Failure |
|
|
| 1752 |
2020/09/29 19:40:43
|
Yoneda embedding for preorder
|
shift0 |
Success |
|
|
| 1751 |
2020/09/29 19:39:49
|
Yoneda embedding for preorder
|
shift0 |
Failure |
|
|
| 1750 |
2020/09/29 17:32:20
|
Sum of n^3
|
shift0 |
Success |
|
|
| 1749 |
2020/09/29 16:00:06
|
Perfect Square?
|
shift0 |
Success |
|
|
| 1748 |
2020/09/29 12:26:02
|
If zero were not nat
|
shift0 |
Success |
|
|
| 1747 |
2020/09/29 12:21:26
|
If zero were not nat
|
shift0 |
Failure |
|
|
| 1746 |
2020/09/29 12:20:27
|
If zero were not nat
|
shift0 |
Failure |
|
|
| 1745 |
2020/09/29 12:18:57
|
If zero were not nat
|
shift0 |
Failure |
|
|
| 1744 |
2020/09/29 11:37:45
|
Flat CPO
|
shift0 |
Success |
|
|
| 1743 |
2020/09/29 10:29:23
|
n < m \/ n = m \/ n > m
|
shift0 |
Success |
|
|
| 1742 |
2020/09/29 09:40:31
|
forall f: bool -> bool, f^3(x) = f(x)
|
shift0 |
Success |
|
|
| 1741 |
2020/09/28 10:11:49
|
Eat the Candies
|
kkob |
Success |
|
|
| 1740 |
2020/09/28 04:19:42
|
n * S m = n + n * m
|
shift0 |
Success |
|
|
| 1739 |
2020/09/28 03:00:58
|
1 + 1 = 2
|
shift0 |
Success |
|
|
| 1738 |
2020/09/28 02:59:45
|
plus_comm
|
shift0 |
Success |
|
|
| 1737 |
2020/09/28 02:41:25
|
plus_assoc
|
shift0 |
Success |
|
|
| 1736 |
2020/09/28 02:34:05
|
plus_assoc
|
shift0 |
Failure |
|
|
| 1735 |
2020/09/28 02:32:55
|
plus_assoc
|
shift0 |
Failure |
|
|
| 1734 |
2020/09/28 02:14:29
|
Eat the Candies
|
kik |
Success |
|
|
| 1733 |
2020/09/28 02:03:15
|
Eat the Candies
|
kik |
Success |
|
|
| 1732 |
2020/09/28 01:51:11
|
Eat the Candies
|
kik |
Success |
|
|
| 1731 |
2020/09/27 23:24:11
|
Eat the Candies
|
kik |
Success |
|
|
| 1730 |
2020/09/27 22:00:58
|
Eat the Candies
|
sorata |
Failure |
|
|
| 1729 |
2020/09/27 21:57:52
|
Eat the Candies
|
kik |
Failure |
|
|
| 1728 |
2020/09/27 21:45:17
|
Eat the Candies
|
kkob |
Success |
|
|
| 1727 |
2020/09/27 20:52:06
|
Flat CPO
|
kano |
Success |
|
|
| 1726 |
2020/09/27 20:49:26
|
If zero were not nat
|
kano |
Success |
|
|
| 1725 |
2020/09/27 20:46:56
|
Perfect Square?
|
sorata |
Success |
|
|
| 1724 |
2020/09/27 20:46:17
|
Perfect Square?
|
sorata |
Failure |
|
|
| 1723 |
2020/09/27 20:25:42
|
Perfect Square?
|
kik |
Success |
|
|
| 1722 |
2020/09/27 20:14:16
|
Perfect Square?
|
yodvhskd |
Success |
|
|
| 1721 |
2020/09/27 20:13:24
|
If zero were not nat
|
sorata |
Success |
|
|
| 1720 |
2020/09/27 20:12:24
|
Perfect Square?
|
kkob |
Success |
|
|
| 1719 |
2020/09/27 20:09:54
|
If zero were not nat
|
kik |
Success |
|
|
| 1718 |
2020/09/27 20:05:32
|
If zero were not nat
|
yodvhskd |
Success |
|
|