| 1781 |
2020/10/18 05:53:22
|
Fibonacci numbers modulo 2
|
tanakh |
Success |
|
|
| 1780 |
2020/10/17 23:29:32
|
Rotate once
|
tanakh |
Success |
|
|
| 1779 |
2020/10/17 23:27:04
|
Rotate once
|
tanakh |
Success |
|
|
| 1778 |
2020/10/17 21:17:24
|
Sum of n^3
|
tanakh |
Success |
|
|
| 1777 |
2020/10/12 04:06:50
|
forall f: bool -> bool, f^3(x) = f(x)
|
uenoku |
Success |
|
|
| 1776 |
2020/10/12 03:47:20
|
1 + 1 = 2
|
uenoku |
Success |
|
|
| 1775 |
2020/10/12 03:26:20
|
plus_assoc
|
uenoku |
Success |
|
|
| 1774 |
2020/10/12 03:20:57
|
forall l: list nat, l @ [0] <> []
|
uenoku |
Success |
|
|
| 1773 |
2020/10/12 03:20:03
|
forall l: list nat, l @ [0] <> []
|
uenoku |
Failure |
|
|
| 1772 |
2020/10/12 03:19:32
|
forall l: list nat, l @ [0] <> []
|
uenoku |
Failure |
|
|
| 1771 |
2020/10/10 14:40:30
|
Grand Garden
|
yodvhskd |
Success |
|
|
| 1770 |
2020/10/10 01:56:09
|
unique (unique l) = l
|
shift0 |
Success |
|
|
| 1769 |
2020/10/10 01:12:38
|
gcd(n, n+1) = 1
|
shift0 |
Success |
|
|
| 1768 |
2020/10/10 01:11:42
|
gcd(n, n+1) = 1
|
shift0 |
Failure |
|
|
| 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 |
|
|