| 1813 |
2020/11/02 05:58:49
|
plus_assoc
|
aaaa |
Success |
|
|
| 1812 |
2020/11/02 04:35:46
|
plus_assoc
|
aaaa |
Success |
|
|
| 1811 |
2020/11/02 04:30:00
|
plus_assoc
|
aaaa |
Success |
|
|
| 1810 |
2020/11/02 04:25:02
|
plus_assoc
|
aaaa |
Success |
|
|
| 1809 |
2020/11/02 03:50:19
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1808 |
2020/11/02 03:48:23
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1807 |
2020/11/02 03:45:31
|
1 + 1 = 2
|
aaaa |
Success |
|
|
| 1806 |
2020/11/02 03:43:06
|
1 + 1 = 2
|
aaaa |
Failure |
|
|
| 1805 |
2020/11/02 03:42:26
|
1 + 1 = 2
|
aaaa |
Failure |
|
|
| 1804 |
2020/11/02 03:31:38
|
1 + 1 = 2
|
sabataro |
Failure |
|
|
| 1803 |
2020/11/02 03:28:20
|
1 + 1 = 2
|
sabataro |
Failure |
|
|
| 1802 |
2020/11/02 03:26:29
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1801 |
2020/11/02 03:23:43
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1800 |
2020/11/02 03:20:55
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1799 |
2020/11/02 03:17:18
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1798 |
2020/11/02 03:12:20
|
1 + 1 = 2
|
sabataro |
Success |
|
|
| 1797 |
2020/11/02 03:01:36
|
1 + 1 = 2
|
sabataro |
Failure |
|
|
| 1796 |
2020/10/31 18:45:39
|
plus_assoc
|
xsd |
Success |
|
|
| 1795 |
2020/10/31 18:44:45
|
plus_assoc
|
xsd |
Failure |
|
|
| 1794 |
2020/10/31 14:04:47
|
plus_assoc
|
xsd |
Failure |
|
|
| 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 |
|
|