| 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 |
|
|
| 1676 |
2020/08/09 21:38:32
|
Sum of n^3
|
yodvhskd |
Success |
|
|
| 1675 |
2020/08/01 14:16:57
|
1 + 1 = 2
|
pandaman |
Success |
|
|
| 1674 |
2020/08/01 14:16:30
|
forall f: bool -> bool, f^3(x) = f(x)
|
pandaman |
Success |
|
|
| 1673 |
2020/08/01 14:07:07
|
1 + 1 = 2
|
pandaman |
Failure |
|
|
| 1672 |
2020/08/01 14:05:41
|
plus_comm
|
pandaman |
Success |
|
|
| 1671 |
2020/08/01 13:48:55
|
plus_assoc
|
pandaman |
Success |
|
|
| 1670 |
2020/07/20 00:32:34
|
Multiplication in F_2 is idempotent
|
mttm |
Success |
|
|
| 1669 |
2020/07/20 00:11:02
|
Definitions of injectivity
|
mttm |
Success |
|
|
| 1668 |
2020/07/19 05:51:58
|
De Morgan's laws in Coq
|
Eldora |
Failure |
|
|