| 393 |
2019/08/27 16:34:11
|
n < m \/ n = m \/ n > m
|
coorde |
Success |
|
|
| 392 |
2019/08/27 12:23:49
|
Equivalent two quicksorts
|
kkob |
Success |
|
|
| 391 |
2019/08/27 07:22:52
|
forall l: list nat, l @ [0] <> []
|
omochana2 |
Success |
|
|
| 390 |
2019/08/27 00:56:30
|
forall l: list nat, l @ [0] <> []
|
uesugi |
Success |
|
|
| 389 |
2019/08/27 00:55:05
|
forall l: list nat, l @ [0] <> []
|
uesugi |
Failure |
|
|
| 388 |
2019/08/26 22:05:31
|
n * S m = n + n * m
|
coorde |
Success |
|
|
| 387 |
2019/08/26 21:56:04
|
forall f: bool -> bool, f^3(x) = f(x)
|
coorde |
Success |
|
|
| 386 |
2019/08/26 21:50:07
|
plus_comm
|
coorde |
Success |
|
|
| 385 |
2019/08/26 21:49:20
|
n < m \/ n = m \/ n > m
|
cympfh |
Success |
|
|
| 384 |
2019/08/26 21:39:41
|
n * S m = n + n * m
|
cympfh |
Success |
|
|
| 383 |
2019/08/26 21:30:10
|
n < m \/ n = m \/ n > m
|
chiguri |
Success |
|
|
| 382 |
2019/08/26 21:29:56
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Success |
|
|
| 381 |
2019/08/26 21:28:26
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Failure |
|
|
| 380 |
2019/08/26 21:16:39
|
n * S m = n + n * m
|
chiguri |
Success |
|
|
| 379 |
2019/08/26 21:10:05
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Failure |
|
|
| 378 |
2019/08/26 21:09:55
|
1 + 1 = 2
|
cympfh |
Success |
|
|
| 377 |
2019/08/26 21:03:24
|
forall f: bool -> bool, f^3(x) = f(x)
|
chiguri |
Success |
|
|
| 376 |
2019/08/26 20:59:40
|
1 + 1 = 2
|
chiguri |
Success |
|
|
| 375 |
2019/08/26 20:59:29
|
plus_comm
|
cympfh |
Success |
|
|
| 374 |
2019/08/26 20:58:31
|
plus_comm
|
chiguri |
Success |
|
|
| 373 |
2019/08/26 20:56:24
|
plus_assoc
|
coorde |
Success |
|
|
| 372 |
2019/08/26 20:50:10
|
plus_assoc
|
chiguri |
Success |
|
|
| 371 |
2019/08/26 20:49:02
|
plus_assoc
|
chiguri |
Failure |
|
|
| 370 |
2019/08/26 20:34:32
|
1 + 1 = 2
|
coorde |
Success |
|
|
| 369 |
2019/08/26 20:22:31
|
plus_comm
|
drafear |
Success |
|
|
| 368 |
2019/08/26 20:21:59
|
plus_comm
|
drafear |
Failure |
|
|
| 367 |
2019/08/26 19:43:13
|
plus_assoc
|
cympfh |
Success |
|
|
| 366 |
2019/08/26 19:42:32
|
plus_assoc
|
cympfh |
Failure |
|
|
| 365 |
2019/08/26 18:58:12
|
plus_comm
|
mttm |
Success |
|
|
| 364 |
2019/08/26 18:20:38
|
Cumulative sum of list
|
sorata |
Success |
|
|
| 363 |
2019/08/26 14:30:09
|
forall l: list nat, l @ [0] <> []
|
heno239 |
Success |
|
|
| 362 |
2019/08/26 12:30:16
|
l1 <> l2 if l2 is an odd permutation of l1
|
kkob |
Success |
|
|
| 361 |
2019/08/26 10:22:23
|
n < m \/ n = m \/ n > m
|
a_happin |
Success |
|
|
| 360 |
2019/08/26 08:57:52
|
plus_comm
|
spica314 |
Success |
|
|
| 359 |
2019/08/26 08:32:58
|
plus_assoc
|
spica314 |
Success |
|
|
| 358 |
2019/08/26 04:20:30
|
forall l: list nat, l @ [0] <> []
|
pekempey |
Success |
|
|
| 357 |
2019/08/26 03:52:57
|
l1 <> l2 if l2 is an odd permutation of l1
|
suibaka |
Success |
|
|
| 356 |
2019/08/26 03:51:12
|
l1 <> l2 if l2 is an odd permutation of l1
|
suibaka |
Failure |
|
|
| 355 |
2019/08/26 03:48:10
|
l1 <> l2 if l2 is an odd permutation of l1
|
suibaka |
Failure |
|
|
| 354 |
2019/08/26 03:45:48
|
n * S m = n + n * m
|
omochana2 |
Success |
|
|
| 353 |
2019/08/26 03:37:39
|
plus_comm
|
omochana2 |
Success |
|
|
| 352 |
2019/08/26 03:30:24
|
plus_comm
|
omochana2 |
Failure |
|
|
| 351 |
2019/08/26 03:29:33
|
plus_assoc
|
omochana2 |
Success |
|
|
| 350 |
2019/08/26 02:58:33
|
forall f: bool -> bool, f^3(x) = f(x)
|
omochana2 |
Success |
|
|
| 349 |
2019/08/26 02:40:25
|
plus_comm
|
mttm |
Success |
|
|
| 348 |
2019/08/26 02:36:37
|
plus_assoc
|
mttm |
Success |
|
|
| 347 |
2019/08/26 02:36:18
|
n < m \/ n = m \/ n > m
|
spica314 |
Success |
|
|
| 346 |
2019/08/26 02:34:30
|
plus_assoc
|
mttm |
Failure |
|
|
| 345 |
2019/08/26 02:23:02
|
Product of n consecutive integers is divisible by n!
|
prime |
Success |
|
|
| 344 |
2019/08/26 01:50:30
|
n * S m = n + n * m
|
mttm |
Success |
|
|