1093 |
2019/11/24 22:14:40
|
1 + 1 = 2
|
lion |
Failure |
|
|
1092 |
2019/11/24 21:53:22
|
Tree addressing is injective
|
yamarten |
Success |
|
|
1091 |
2019/11/24 21:36:45
|
Relative prime squares
|
kozima |
Success |
|
|
1090 |
2019/11/24 21:35:09
|
1 + 1 = 2
|
lion |
Failure |
|
|
1089 |
2019/11/24 21:18:11
|
infinite bool sequence is uncountable
|
saitou |
Success |
|
|
1088 |
2019/11/24 21:11:02
|
infinite bool sequence is uncountable
|
hirosegolf |
Success |
|
|
1087 |
2019/11/24 21:07:27
|
infinite bool sequence is uncountable
|
hirosegolf |
Failure |
|
|
1086 |
2019/11/24 21:04:22
|
infinite bool sequence is uncountable
|
hirosegolf |
Failure |
|
|
1085 |
2019/11/24 21:01:11
|
Constructor is injective
|
tanakh |
Success |
|
|
1084 |
2019/11/24 21:00:48
|
Constructor is injective
|
tanakh |
Failure |
|
|
1083 |
2019/11/24 20:49:38
|
Tree addressing is injective
|
hirosegolf |
Success |
|
|
1082 |
2019/11/24 20:46:12
|
infinite bool sequence is uncountable
|
tzik |
Success |
|
|
1081 |
2019/11/24 20:42:17
|
infinite bool sequence is uncountable
|
na4zagin3 |
Success |
|
|
1080 |
2019/11/24 20:35:26
|
infinite bool sequence is uncountable
|
na4zagin3 |
Failure |
|
|
1079 |
2019/11/24 20:33:10
|
infinite bool sequence is uncountable
|
chy |
Success |
|
|
1078 |
2019/11/24 20:32:29
|
Tree addressing is injective
|
tzik |
Success |
|
|
1077 |
2019/11/24 20:26:35
|
Tree addressing is injective
|
pekempey |
Success |
|
|
1076 |
2019/11/24 20:24:34
|
Tree addressing is injective
|
saitou |
Success |
|
|
1075 |
2019/11/24 20:21:56
|
Tree addressing is injective
|
chy |
Success |
|
|
1074 |
2019/11/24 20:20:05
|
infinite bool sequence is uncountable
|
sorata |
Success |
|
|
1073 |
2019/11/24 20:18:56
|
Tree addressing is injective
|
chy |
Failure |
|
|
1072 |
2019/11/24 20:18:44
|
infinite bool sequence is uncountable
|
kaz |
Success |
|
|
1071 |
2019/11/24 20:16:26
|
infinite bool sequence is uncountable
|
yodvhskd |
Success |
|
|
1070 |
2019/11/24 20:15:29
|
Tree addressing is injective
|
na4zagin3 |
Success |
|
|
1069 |
2019/11/24 20:13:48
|
infinite bool sequence is uncountable
|
kozima |
Success |
|
|
1068 |
2019/11/24 20:11:27
|
Tree addressing is injective
|
sorata |
Success |
|
|
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 |
|
|