| 417 |
2019/08/31 00:28:15
|
1 + 1 = 2
|
yodvhskd |
Success |
|
|
| 416 |
2019/08/30 23:22:39
|
1 + 1 = 2
|
omasanori |
Success |
|
|
| 415 |
2019/08/30 23:21:51
|
1 + 1 = 2
|
omasanori |
Failure |
|
|
| 414 |
2019/08/30 21:29:36
|
n < m \/ n = m \/ n > m
|
kimiyuki |
Success |
|
|
| 413 |
2019/08/30 21:15:10
|
Cumulative sum of list
|
kimiyuki |
Success |
|
|
| 412 |
2019/08/30 18:07:04
|
forall f: bool -> bool, f^3(x) = f(x)
|
pekempey |
Success |
|
|
| 411 |
2019/08/30 17:33:32
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 410 |
2019/08/30 17:24:54
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 409 |
2019/08/29 17:55:20
|
n < m \/ n = m \/ n > m
|
minus3theta |
Success |
|
|
| 408 |
2019/08/29 17:52:24
|
forall l: list nat, l @ [0] <> []
|
minus3theta |
Success |
|
|
| 407 |
2019/08/29 10:05:06
|
n * S m = n + n * m
|
muratak |
Success |
|
|
| 406 |
2019/08/29 10:04:50
|
n * S m = n + n * m
|
muratak |
Failure |
|
|
| 405 |
2019/08/29 01:37:00
|
n * S m = n + n * m
|
muratak |
Rejected |
|
|
| 404 |
2019/08/29 01:32:41
|
forall f: bool -> bool, f^3(x) = f(x)
|
muratak |
Success |
|
|
| 403 |
2019/08/29 01:32:07
|
forall f: bool -> bool, f^3(x) = f(x)
|
muratak |
Failure |
|
|
| 402 |
2019/08/29 01:22:38
|
plus_comm
|
muratak |
Success |
|
|
| 401 |
2019/08/29 01:19:17
|
plus_assoc
|
muratak |
Success |
|
|
| 400 |
2019/08/29 01:17:37
|
1 + 1 = 2
|
muratak |
Success |
|
|
| 399 |
2019/08/28 02:19:34
|
1 + 1 = 2
|
asi1024 |
Success |
|
|
| 398 |
2019/08/27 23:13:17
|
n < m \/ n = m \/ n > m
|
taisei |
Success |
|
|
| 397 |
2019/08/27 23:12:06
|
Product of n consecutive integers is divisible by n!
|
taisei |
Success |
|
|
| 396 |
2019/08/27 18:19:28
|
Product of n consecutive integers is divisible by n!
|
kkob |
Success |
|
|
| 395 |
2019/08/27 16:41:13
|
forall l: list nat, l @ [0] <> []
|
coorde |
Success |
|
|
| 394 |
2019/08/27 16:40:19
|
forall l: list nat, l @ [0] <> []
|
coorde |
Success |
|
|
| 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 |
|
|