1226 |
2019/12/08 21:41:27
|
Binary search
|
kik |
Success |
|
|
1225 |
2019/12/08 21:31:06
|
Zero test
|
tzik |
Success |
|
|
1224 |
2019/12/08 21:24:36
|
Boolean-hole principle revisited
|
chy |
Success |
|
|
1223 |
2019/12/08 21:02:38
|
Boolean-hole principle revisited
|
yodvhskd |
Success |
|
|
1222 |
2019/12/08 21:02:00
|
Boolean-hole principle revisited
|
na4zagin3 |
Success |
|
|
1221 |
2019/12/08 20:57:39
|
Midpoint
|
chy |
Success |
|
|
1220 |
2019/12/08 20:46:49
|
Midpoint
|
tanakh |
Success |
|
|
1219 |
2019/12/08 20:42:55
|
Zero test
|
natsugiri |
Success |
|
|
1218 |
2019/12/08 20:41:59
|
Zero test
|
natsugiri |
Failure |
|
|
1217 |
2019/12/08 20:41:54
|
Binary search
|
kkob |
Success |
|
|
1216 |
2019/12/08 20:39:42
|
Boolean-hole principle revisited
|
kik |
Success |
|
|
1215 |
2019/12/08 20:37:59
|
Midpoint
|
yodvhskd |
Success |
|
|
1214 |
2019/12/08 20:33:35
|
Boolean-hole principle revisited
|
kaz |
Success |
|
|
1213 |
2019/12/08 20:31:14
|
Midpoint
|
kaz |
Success |
|
|
1212 |
2019/12/08 20:30:40
|
Zero test
|
chy |
Success |
|
|
1211 |
2019/12/08 20:29:42
|
Midpoint
|
kik |
Success |
|
|
1210 |
2019/12/08 20:22:49
|
Zero test
|
mttm |
Success |
|
|
1209 |
2019/12/08 20:19:22
|
Boolean-hole principle revisited
|
kkob |
Success |
|
|
1208 |
2019/12/08 20:11:47
|
Midpoint
|
kkob |
Success |
|
|
1207 |
2019/12/08 20:09:50
|
Zero test
|
kik |
Success |
|
|
1206 |
2019/12/08 20:06:56
|
Zero test
|
kaz |
Success |
|
|
1205 |
2019/12/08 20:06:55
|
Zero test
|
kkob |
Success |
|
|
1204 |
2019/12/08 20:05:45
|
Zero test
|
na4zagin3 |
Success |
|
|
1203 |
2019/12/08 20:03:56
|
Zero test
|
yodvhskd |
Success |
|
|
1202 |
2019/12/08 09:58:50
|
Identity permutation
|
tanakh |
Success |
|
|
1201 |
2019/12/08 09:21:37
|
Product of n consecutive integers is divisible by n!
|
tanakh |
Success |
|
|
1200 |
2019/12/08 03:24:24
|
infinite bool sequence is uncountable
|
tanakh |
Success |
|
|
1199 |
2019/12/08 03:10:19
|
Tree addressing is injective
|
tanakh |
Success |
|
|
1198 |
2019/12/08 00:18:39
|
Double
|
tanakh |
Success |
|
|
1197 |
2019/12/08 00:11:10
|
Two is not Three
|
tanakh |
Success |
|
|
1196 |
2019/12/07 23:45:27
|
Any natural number is expressible in binary notation
|
tanakh |
Success |
|
|
1195 |
2019/12/07 21:16:45
|
unique count
|
tanakh |
Success |
|
|
1194 |
2019/12/05 07:33:18
|
unique (unique l) = l
|
tanakh |
Success |
|
|
1193 |
2019/12/05 07:31:08
|
unique (unique l) = l
|
tanakh |
Success |
|
|
1192 |
2019/12/04 21:40:19
|
Multiplication in F_2 is idempotent
|
tanakh |
Success |
|
|
1191 |
2019/12/04 21:39:48
|
Multiplication in F_2 is idempotent
|
tanakh |
Failure |
|
|
1190 |
2019/12/04 21:35:02
|
count l n = count (rev l) n
|
tanakh |
Success |
|
|
1189 |
2019/12/04 21:34:27
|
count l n = count (rev l) n
|
tanakh |
Failure |
|
|
1188 |
2019/12/04 21:33:39
|
count l n = count (rev l) n
|
tanakh |
Failure |
|
|
1187 |
2019/12/04 20:32:59
|
Binary search
|
kozima |
Success |
|
|
1186 |
2019/12/04 20:31:47
|
Boolean-hole principle revisited
|
kozima |
Success |
|
|
1185 |
2019/12/04 20:31:25
|
Midpoint
|
kozima |
Success |
|
|
1184 |
2019/12/04 20:30:51
|
Zero test
|
kozima |
Success |
|
|
1183 |
2019/12/04 06:31:07
|
Definitions of injectivity
|
tanakh |
Success |
|
|
1182 |
2019/12/04 05:17:13
|
Definitions of injectivity
|
tanakh |
Rejected |
|
|
1181 |
2019/12/04 04:37:21
|
Cumulative sum of list
|
tanakh |
Success |
|
|
1180 |
2019/12/04 04:36:46
|
Cumulative sum of list
|
tanakh |
Failure |
|
|
1179 |
2019/12/04 04:36:28
|
Cumulative sum of list
|
tanakh |
Failure |
|
|
1178 |
2019/12/04 02:42:18
|
Grand Garden
|
tzik |
Success |
|
|
1177 |
2019/12/02 04:25:54
|
Sum of binomial coefficients
|
tzik |
Success |
|
|