| 437 |
2019/09/03 14:52:17
|
n < m \/ n = m \/ n > m
|
cympfh |
Failure |
|
|
| 436 |
2019/09/03 14:32:06
|
Cumulative sum of list
|
cympfh |
Success |
|
|
| 435 |
2019/09/01 19:49:53
|
n < m \/ n = m \/ n > m
|
muratak |
Success |
|
|
| 434 |
2019/09/01 19:33:53
|
Cumulative sum of list
|
muratak |
Success |
|
|
| 433 |
2019/09/01 19:33:20
|
Cumulative sum of list
|
muratak |
Failure |
|
|
| 432 |
2019/09/01 19:16:43
|
forall l: list nat, l @ [0] <> []
|
muratak |
Success |
|
|
| 431 |
2019/08/31 22:19:06
|
forall f: bool -> bool, f^3(x) = f(x)
|
yodvhskd |
Success |
|
|
| 430 |
2019/08/31 22:02:00
|
plus_comm
|
yodvhskd |
Success |
|
|
| 429 |
2019/08/31 18:20:24
|
Cumulative sum of list
|
admitted |
Success |
|
|
| 428 |
2019/08/31 17:53:39
|
forall l: list nat, l @ [0] <> []
|
admitted |
Success |
|
|
| 427 |
2019/08/31 16:35:17
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 426 |
2019/08/31 16:34:26
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
| 425 |
2019/08/31 16:33:34
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Failure |
|
|
| 424 |
2019/08/31 04:59:27
|
n < m \/ n = m \/ n > m
|
admitted |
Success |
|
|
| 423 |
2019/08/31 04:35:39
|
n * S m = n + n * m
|
admitted |
Success |
|
|
| 422 |
2019/08/31 04:22:47
|
forall f: bool -> bool, f^3(x) = f(x)
|
admitted |
Success |
|
|
| 421 |
2019/08/31 04:05:00
|
1 + 1 = 2
|
admitted |
Success |
|
|
| 420 |
2019/08/31 04:02:26
|
plus_comm
|
admitted |
Success |
|
|
| 419 |
2019/08/31 03:51:03
|
plus_assoc
|
admitted |
Success |
|
|
| 418 |
2019/08/31 00:32:14
|
1 + 1 = 2
|
yodvhskd |
Success |
|
|
| 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 |
|
|