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 |
|
|