| 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 |
|
|
| 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 |
|
|