| 1793 |
2020/10/31 14:02:56
|
plus_assoc
|
xsd |
Failure |
|
|
| 1792 |
2020/10/26 00:43:18
|
Perfect Square?
|
fetburner |
Success |
|
|
| 1791 |
2020/10/25 03:15:22
|
If zero were not nat
|
fetburner |
Success |
|
|
| 1790 |
2020/10/25 02:58:23
|
Flat CPO
|
fetburner |
Success |
|
|
| 1789 |
2020/10/21 10:56:27
|
Eat the Candies
|
tanakh |
Success |
|
|
| 1788 |
2020/10/21 06:23:48
|
Perfect Square?
|
tanakh |
Success |
|
|
| 1787 |
2020/10/21 06:12:24
|
Perfect Square?
|
tanakh |
Success |
|
|
| 1786 |
2020/10/21 04:50:18
|
If zero were not nat
|
tanakh |
Success |
|
|
| 1785 |
2020/10/21 04:24:10
|
Flat CPO
|
tanakh |
Success |
|
|
| 1784 |
2020/10/19 08:15:36
|
The set of all finite sequences of bool is countable
|
kkob |
Success |
|
|
| 1783 |
2020/10/19 03:46:08
|
Friends and strangers
|
tanakh |
Success |
|
|
| 1782 |
2020/10/19 03:14:44
|
The set of all finite sequences of bool is countable
|
tanakh |
Success |
|
|
| 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 |
|
|