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