567 |
2019/09/15 17:05:53
|
gcd(n, n+1) = 1
|
pekempey |
Failure |
|
|
566 |
2019/09/15 17:05:51
|
gcd(n, n+1) = 1
|
prime |
Success |
|
|
565 |
2019/09/15 17:05:37
|
gcd(n, n+1) = 1
|
sorata |
Failure |
|
|
564 |
2019/09/15 17:04:35
|
gcd(n, n+1) = 1
|
pekempey |
Failure |
|
|
563 |
2019/09/15 17:03:52
|
gcd(n, n+1) = 1
|
kozima |
Success |
|
|
562 |
2019/09/15 16:53:52
|
Multiplication in F_2 is idempotent
|
spica314 |
Success |
|
|
561 |
2019/09/15 16:35:29
|
1 + 1 = 2
|
asi1024 |
Success |
|
|
560 |
2019/09/14 21:51:35
|
Equivalent two quicksorts
|
kozima |
Success |
|
|
559 |
2019/09/14 20:37:23
|
Cumulative sum of list
|
yamarten |
Success |
|
|
558 |
2019/09/14 20:34:38
|
Cumulative sum of list
|
yamarten |
Rejected |
|
|
557 |
2019/09/14 16:33:21
|
Grand Garden
|
drafear |
Success |
|
|
556 |
2019/09/14 16:33:00
|
unique count
|
drafear |
Success |
|
|
555 |
2019/09/14 16:32:40
|
unique (unique l) = l
|
drafear |
Success |
|
|
554 |
2019/09/14 16:32:20
|
count l n = count (rev l) n
|
drafear |
Success |
|
|
553 |
2019/09/14 16:31:57
|
gcd(n, n+1) = 1
|
drafear |
Success |
|
|
552 |
2019/09/14 02:56:26
|
Equivalent two quicksorts
|
kkob |
Success |
|
|
551 |
2019/09/14 02:54:55
|
Equivalent two quicksorts
|
kkob |
Failure |
|
|
550 |
2019/09/13 22:59:28
|
forall l: list nat, l @ [0] <> []
|
minaminao |
Success |
|
|
549 |
2019/09/13 22:21:16
|
n * S m = n + n * m
|
minaminao |
Success |
|
|
548 |
2019/09/13 22:02:40
|
forall f: bool -> bool, f^3(x) = f(x)
|
minaminao |
Success |
|
|
547 |
2019/09/13 21:04:14
|
Summand of one
|
minaminao |
Success |
|
|
546 |
2019/09/13 20:33:59
|
1 + 1 = 2
|
minaminao |
Success |
|
|
545 |
2019/09/13 20:33:01
|
plus_comm
|
minaminao |
Success |
|
|
544 |
2019/09/13 18:00:23
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
543 |
2019/09/13 17:57:53
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
542 |
2019/09/12 23:11:18
|
plus_assoc
|
minaminao |
Success |
|
|
541 |
2019/09/12 20:48:27
|
n * S m = n + n * m
|
egashira |
Success |
|
|
540 |
2019/09/12 20:30:48
|
plus_comm
|
egashira |
Success |
|
|
539 |
2019/09/12 20:25:40
|
plus_assoc
|
egashira |
Success |
|
|
538 |
2019/09/12 20:22:52
|
1 + 1 = 2
|
egashira |
Success |
|
|
537 |
2019/09/11 21:30:07
|
1 + 1 = 2
|
skwbc |
Success |
|
|
536 |
2019/09/10 07:43:52
|
n * S m = n + n * m
|
Haar |
Success |
|
|
535 |
2019/09/10 07:36:07
|
forall f: bool -> bool, f^3(x) = f(x)
|
Haar |
Success |
|
|
534 |
2019/09/09 18:37:57
|
Identity permutation
|
cympfh |
Success |
|
|
533 |
2019/09/09 17:39:14
|
l1 <> l2 if l2 is an odd permutation of l1
|
okaduki |
Success |
|
|
532 |
2019/09/09 10:21:58
|
1 + 1 = 2
|
Haar |
Success |
|
|
531 |
2019/09/09 10:15:42
|
plus_comm
|
Haar |
Success |
|
|
530 |
2019/09/09 10:09:50
|
plus_assoc
|
Haar |
Success |
|
|
529 |
2019/09/09 01:28:34
|
Definitions of injectivity
|
spica314 |
Success |
|
|
528 |
2019/09/09 00:42:39
|
Cumulative sum of list
|
coorde |
Success |
|
|
527 |
2019/09/09 00:36:30
|
Cumulative sum of list
|
kurgm |
Success |
|
|
526 |
2019/09/09 00:25:06
|
Definitions of injectivity
|
coorde |
Success |
|
|
525 |
2019/09/09 00:19:57
|
plus_assoc
|
spica314 |
Success |
|
|
524 |
2019/09/09 00:14:07
|
forall l: list nat, l @ [0] <> []
|
kurgm |
Success |
|
|
523 |
2019/09/09 00:02:45
|
Multiplication in F_2 is idempotent
|
coorde |
Success |
|
|
522 |
2019/09/09 00:02:22
|
Identity permutation
|
taisei |
Success |
|
|
521 |
2019/09/08 23:48:44
|
Multiplication in F_2 is idempotent
|
kurgm |
Success |
|
|
520 |
2019/09/08 23:35:28
|
Multiplication in F_2 is idempotent
|
cympfh |
Success |
|
|
519 |
2019/09/08 23:30:05
|
Identity permutation
|
okaduki |
Success |
|
|
518 |
2019/09/08 23:12:17
|
Identity permutation
|
okaduki |
Success |
|
|