| 1243 |
2019/12/09 12:57:53
|
Zero test
|
muratak |
Success |
|
|
| 1242 |
2019/12/09 04:21:46
|
Multiplication of non-zero value in F_p is injective
|
tanakh |
Success |
|
|
| 1241 |
2019/12/09 04:20:25
|
Multiplication of non-zero value in F_p is injective
|
tanakh |
Failure |
|
|
| 1240 |
2019/12/09 02:52:18
|
Binary search
|
yodvhskd |
Success |
|
|
| 1239 |
2019/12/09 02:27:53
|
Binary search
|
yodvhskd |
Success |
|
|
| 1238 |
2019/12/08 23:54:53
|
Binary search
|
yodvhskd |
Success |
|
|
| 1237 |
2019/12/08 23:11:05
|
Boolean-hole principle revisited
|
tanakh |
Success |
|
|
| 1236 |
2019/12/08 23:06:52
|
Boolean-hole principle revisited
|
tzik |
Success |
|
|
| 1235 |
2019/12/08 23:05:42
|
Zero test
|
tanakh |
Success |
|
|
| 1234 |
2019/12/08 23:04:29
|
Boolean-hole principle revisited
|
tzik |
Success |
|
|
| 1233 |
2019/12/08 22:32:31
|
Binary search
|
kkob |
Success |
|
|
| 1232 |
2019/12/08 22:10:28
|
Zero test
|
a_kawashiro |
Success |
|
|
| 1231 |
2019/12/08 22:09:18
|
Midpoint
|
mttm |
Success |
|
|
| 1230 |
2019/12/08 21:55:21
|
Midpoint
|
tzik |
Success |
|
|
| 1229 |
2019/12/08 21:46:19
|
Boolean-hole principle revisited
|
mttm |
Success |
|
|
| 1228 |
2019/12/08 21:45:50
|
Midpoint
|
na4zagin3 |
Success |
|
|
| 1227 |
2019/12/08 21:42:20
|
Boolean-hole principle revisited
|
mttm |
Success |
|
|
| 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 |
|
|