| 1267 |
2019/12/18 13:55:14
|
Cumulative sum of list
|
fetburner |
Success |
|
|
| 1266 |
2019/12/18 13:39:04
|
forall l: list nat, l @ [0] <> []
|
fetburner |
Success |
|
|
| 1265 |
2019/12/17 02:12:58
|
Equivalent two quicksorts
|
tzik |
Success |
|
|
| 1264 |
2019/12/14 04:21:16
|
Product of n consecutive integers is divisible by n!
|
fetburner |
Success |
|
|
| 1263 |
2019/12/14 04:14:37
|
Product of n consecutive integers is divisible by n!
|
fetburner |
Success |
|
|
| 1262 |
2019/12/14 02:46:17
|
n < m \/ n = m \/ n > m
|
fetburner |
Success |
|
|
| 1261 |
2019/12/14 02:42:56
|
n * S m = n + n * m
|
fetburner |
Success |
|
|
| 1260 |
2019/12/14 02:39:35
|
forall f: bool -> bool, f^3(x) = f(x)
|
fetburner |
Success |
|
|
| 1259 |
2019/12/14 02:36:49
|
1 + 1 = 2
|
fetburner |
Success |
|
|
| 1258 |
2019/12/14 02:35:48
|
plus_comm
|
fetburner |
Success |
|
|
| 1257 |
2019/12/14 02:32:44
|
plus_assoc
|
fetburner |
Success |
|
|
| 1256 |
2019/12/12 23:11:45
|
Midpoint
|
natsugiri |
Success |
|
|
| 1255 |
2019/12/12 20:26:03
|
Zero test
|
CoiL |
Success |
|
|
| 1254 |
2019/12/12 20:11:40
|
Iterated iteration
|
CoiL |
Success |
|
|
| 1253 |
2019/12/12 19:33:10
|
Iterated iteration
|
CoiL |
Rejected |
|
|
| 1252 |
2019/12/10 21:38:47
|
Midpoint
|
maple |
Success |
|
|
| 1251 |
2019/12/10 18:14:22
|
Zero test
|
maple |
Success |
|
|
| 1250 |
2019/12/10 17:04:59
|
plus_comm
|
maple |
Success |
|
|
| 1249 |
2019/12/10 16:55:06
|
plus_assoc
|
maple |
Success |
|
|
| 1248 |
2019/12/10 12:54:47
|
Iterated iteration
|
chy |
Success |
|
|
| 1247 |
2019/12/10 12:54:04
|
Iterated iteration
|
chy |
Failure |
|
|
| 1246 |
2019/12/10 03:08:26
|
Binary search
|
tzik |
Success |
|
|
| 1245 |
2019/12/09 23:48:52
|
Midpoint
|
tzik |
Success |
|
|
| 1244 |
2019/12/09 21:09:15
|
Boolean-hole principle revisited
|
natsugiri |
Success |
|
|
| 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 |
|
|