1067 |
2019/11/24 20:11:21
|
Constructor is injective
|
yamarten |
Success |
|
|
1066 |
2019/11/24 20:10:35
|
Tree addressing is injective
|
kozima |
Success |
|
|
1065 |
2019/11/24 20:09:43
|
Tree addressing is injective
|
kaz |
Success |
|
|
1064 |
2019/11/24 20:09:41
|
Constructor is injective
|
kaz |
Success |
|
|
1063 |
2019/11/24 20:09:22
|
Constructor is injective
|
mttm |
Success |
|
|
1062 |
2019/11/24 20:09:21
|
Tree addressing is injective
|
yodvhskd |
Success |
|
|
1061 |
2019/11/24 20:05:09
|
Constructor is injective
|
hirosegolf |
Success |
|
|
1060 |
2019/11/24 20:03:30
|
Constructor is injective
|
saitou |
Success |
|
|
1059 |
2019/11/24 20:03:05
|
Constructor is injective
|
pekempey |
Success |
|
|
1058 |
2019/11/24 20:03:02
|
Constructor is injective
|
tzik |
Success |
|
|
1057 |
2019/11/24 20:02:16
|
Constructor is injective
|
na4zagin3 |
Success |
|
|
1056 |
2019/11/24 20:01:44
|
Constructor is injective
|
sorata |
Success |
|
|
1055 |
2019/11/24 20:01:25
|
Constructor is injective
|
chy |
Success |
|
|
1054 |
2019/11/24 20:01:06
|
Constructor is injective
|
kozima |
Success |
|
|
1053 |
2019/11/24 20:01:01
|
Constructor is injective
|
yodvhskd |
Success |
|
|
1052 |
2019/11/24 17:53:38
|
1 + 1 = 2
|
kano |
Success |
|
|
1051 |
2019/11/24 17:46:46
|
plus_comm
|
kano |
Success |
|
|
1050 |
2019/11/24 17:41:25
|
plus_assoc
|
kano |
Success |
|
|
1049 |
2019/11/24 17:38:56
|
plus_assoc
|
kano |
Failure |
|
|
1048 |
2019/11/24 17:37:45
|
plus_assoc
|
kano |
Failure |
|
|
1047 |
2019/11/24 17:36:56
|
plus_assoc
|
kano |
Failure |
|
|
1046 |
2019/11/22 03:07:00
|
count l n = count (rev l) n
|
tzik |
Success |
|
|
1045 |
2019/11/22 02:42:23
|
gcd(n, n+1) = 1
|
tzik |
Success |
|
|
1044 |
2019/11/22 02:29:50
|
Multiplication in F_2 is idempotent
|
tzik |
Success |
|
|
1043 |
2019/11/22 01:53:49
|
Definitions of injectivity
|
tzik |
Success |
|
|
1042 |
2019/11/21 21:09:59
|
Summand of one
|
tzik |
Success |
|
|
1041 |
2019/11/21 20:39:21
|
Cumulative sum of list
|
tzik |
Success |
|
|
1040 |
2019/11/21 20:08:40
|
Multiplication in F_2 is idempotent
|
nekodesu |
Failure |
|
|
1039 |
2019/11/21 20:06:02
|
forall l: list nat, l @ [0] <> []
|
tzik |
Success |
|
|
1038 |
2019/11/21 19:55:59
|
Product of n consecutive integers is divisible by n!
|
tzik |
Success |
|
|
1037 |
2019/11/21 19:54:29
|
Product of n consecutive integers is divisible by n!
|
tzik |
Failure |
|
|
1036 |
2019/11/21 19:53:42
|
n < m \/ n = m \/ n > m
|
tzik |
Success |
|
|
1035 |
2019/11/21 00:10:55
|
Relative prime squares
|
kkob |
Success |
|
|
1034 |
2019/11/20 20:27:36
|
n * S m = n + n * m
|
tanakh |
Success |
|
|
1033 |
2019/11/20 20:10:26
|
plus_comm
|
tanakh |
Success |
|
|
1032 |
2019/11/20 19:50:06
|
plus_assoc
|
tanakh |
Success |
|
|
1031 |
2019/11/20 19:32:16
|
forall f: bool -> bool, f^3(x) = f(x)
|
tanakh |
Success |
|
|
1030 |
2019/11/20 19:09:36
|
1 + 1 = 2
|
tanakh |
Success |
|
|
1029 |
2019/11/20 18:56:43
|
1 + 1 = 2
|
a_kawashiro |
Success |
|
|
1028 |
2019/11/19 02:48:05
|
n * S m = n + n * m
|
tzik |
Success |
|
|
1027 |
2019/11/19 02:33:59
|
forall f: bool -> bool, f^3(x) = f(x)
|
tzik |
Success |
|
|
1026 |
2019/11/18 20:57:49
|
plus_comm
|
tzik |
Success |
|
|
1025 |
2019/11/18 20:55:03
|
plus_assoc
|
tzik |
Success |
|
|
1024 |
2019/11/18 20:53:25
|
1 + 1 = 2
|
tzik |
Success |
|
|
1023 |
2019/11/18 20:52:58
|
1 + 1 = 2
|
tzik |
Failure |
|
|
1022 |
2019/11/18 05:49:58
|
infinite bool sequence is uncountable
|
kkob |
Success |
|
|
1021 |
2019/11/18 05:48:11
|
Tree addressing is injective
|
kkob |
Success |
|
|
1020 |
2019/11/18 05:46:25
|
Constructor is injective
|
kkob |
Success |
|
|
1019 |
2019/11/14 20:34:43
|
gcd(n, n+1) = 1
|
blue_jam |
Failure |
|
|
1018 |
2019/11/14 20:33:02
|
gcd(n, n+1) = 1
|
nuip |
Failure |
|
|