| 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 |
|
|
| 1717 |
2020/09/27 20:04:59
|
If zero were not nat
|
kkob |
Success |
|
|
| 1716 |
2020/09/27 20:04:22
|
Flat CPO
|
kik |
Success |
|
|
| 1715 |
2020/09/27 20:02:15
|
Flat CPO
|
yodvhskd |
Success |
|
|
| 1714 |
2020/09/27 20:01:56
|
Flat CPO
|
kkob |
Success |
|
|
| 1713 |
2020/09/27 20:01:18
|
Flat CPO
|
sorata |
Success |
|
|
| 1712 |
2020/09/27 13:23:44
|
Sum of n^3
|
kkob |
Success |
|
|
| 1711 |
2020/09/27 13:16:18
|
1 + 1 = 2
|
kkob |
Success |
|
|
| 1710 |
2020/09/27 13:16:02
|
1 + 1 = 2
|
kkob |
Success |
|
|
| 1709 |
2020/09/27 12:47:34
|
plus_assoc
|
kkob |
Success |
|
|
| 1708 |
2020/09/27 11:49:22
|
plus_assoc
|
kkob |
Success |
|
|
| 1707 |
2020/09/27 11:44:15
|
Friends and strangers
|
kkob |
Failure |
|
|
| 1706 |
2020/09/24 20:21:01
|
Perfect Square?
|
kozima |
Success |
|
|
| 1705 |
2020/09/24 20:19:38
|
Eat the Candies
|
kozima |
Success |
|
|
| 1704 |
2020/09/24 20:16:19
|
Perfect Square?
|
kozima |
Failure |
|
|
| 1703 |
2020/09/24 20:14:57
|
If zero were not nat
|
kozima |
Success |
|
|
| 1702 |
2020/09/24 20:13:02
|
Flat CPO
|
kozima |
Success |
|
|
| 1701 |
2020/09/22 19:05:41
|
Friends and strangers
|
fetburner |
Success |
|
|
| 1700 |
2020/09/22 18:42:31
|
The set of all finite sequences of bool is countable
|
fetburner |
Success |
|
|
| 1699 |
2020/08/18 21:33:51
|
Fibonacci numbers modulo 2
|
fetburner |
Success |
|
|
| 1698 |
2020/08/18 20:43:29
|
Rotate once
|
fetburner |
Success |
|
|
| 1697 |
2020/08/18 19:06:51
|
Sum of n^3
|
fetburner |
Success |
|
|
| 1696 |
2020/08/17 18:14:08
|
Friends and strangers (corrected)
|
kozima |
Success |
|
|
| 1695 |
2020/08/17 00:45:27
|
Friends and strangers (corrected)
|
yodvhskd |
Success |
|
|
| 1694 |
2020/08/16 23:46:03
|
Friends and strangers
|
kozima |
Success |
|
|
| 1693 |
2020/08/16 23:45:28
|
Friends and strangers
|
sorata |
Success |
|
|
| 1692 |
2020/08/16 22:36:09
|
Friends and strangers
|
kik |
Success |
|
|
| 1691 |
2020/08/16 22:03:55
|
The set of all finite sequences of bool is countable
|
kozima |
Success |
|
|
| 1690 |
2020/08/16 21:42:40
|
Rotate once
|
sorata |
Success |
|
|
| 1689 |
2020/08/16 21:27:51
|
Fibonacci numbers modulo 2
|
kik |
Success |
|
|
| 1688 |
2020/08/16 21:18:35
|
Rotate once
|
kozima |
Success |
|
|
| 1687 |
2020/08/16 20:26:26
|
Sum of n^3
|
mttm |
Success |
|
|
| 1686 |
2020/08/16 20:21:59
|
Sum of n^3
|
mttm |
Rejected |
|
|
| 1685 |
2020/08/16 20:17:04
|
Fibonacci numbers modulo 2
|
kozima |
Success |
|
|
| 1684 |
2020/08/16 20:15:44
|
Sum of n^3
|
kano |
Success |
|
|
| 1683 |
2020/08/16 20:11:15
|
Sum of n^3
|
kik |
Success |
|
|
| 1682 |
2020/08/16 20:06:17
|
Sum of n^3
|
sorata |
Success |
|
|
| 1681 |
2020/08/16 20:02:15
|
Sum of n^3
|
kozima |
Success |
|
|
| 1680 |
2020/08/15 16:38:16
|
Friends and strangers
|
yodvhskd |
Success |
|
|
| 1679 |
2020/08/15 00:35:04
|
The set of all finite sequences of bool is countable
|
yodvhskd |
Success |
|
|
| 1678 |
2020/08/09 21:56:40
|
Fibonacci numbers modulo 2
|
yodvhskd |
Success |
|
|
| 1677 |
2020/08/09 21:48:28
|
Rotate once
|
yodvhskd |
Success |
|
|