| 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 |
|
|
| 1176 |
2019/12/01 15:58:41
|
n < m \/ n = m \/ n > m
|
na4zagin3 |
Success |
|
|
| 1175 |
2019/12/01 15:46:54
|
Three is prime
|
na4zagin3 |
Success |
|
|
| 1174 |
2019/11/30 23:48:24
|
Product of n consecutive integers is divisible by n!
|
kik |
Success |
|
|
| 1173 |
2019/11/30 19:21:16
|
n < m \/ n = m \/ n > m
|
cyan |
Success |
|
|
| 1172 |
2019/11/30 03:27:51
|
n < m \/ n = m \/ n > m
|
kik |
Success |
|
|
| 1171 |
2019/11/30 03:22:43
|
n * S m = n + n * m
|
kik |
Success |
|
|
| 1170 |
2019/11/30 03:05:30
|
1 + 1 = 2
|
kik |
Success |
|
|
| 1169 |
2019/11/30 03:04:00
|
plus_comm
|
kik |
Success |
|
|
| 1168 |
2019/11/30 02:38:10
|
plus_assoc
|
kik |
Success |
|
|