| 643 |
2019/09/18 00:33:37
|
count l n = count (rev l) n
|
kimiyuki |
Success |
|
|
| 642 |
2019/09/18 00:12:13
|
gcd(n, n+1) = 1
|
kimiyuki |
Success |
|
|
| 641 |
2019/09/17 22:51:30
|
unique count
|
yodvhskd |
Success |
|
|
| 640 |
2019/09/17 22:07:57
|
unique (unique l) = l
|
yodvhskd |
Success |
|
|
| 639 |
2019/09/17 20:16:52
|
gcd(n, n+1) = 1
|
a_happin |
Success |
|
|
| 638 |
2019/09/17 20:15:21
|
gcd(n, n+1) = 1
|
a_happin |
Failure |
|
|
| 637 |
2019/09/17 19:57:59
|
Summand of one
|
a_happin |
Success |
|
|
| 636 |
2019/09/17 16:24:56
|
unique count
|
cympfh |
Success |
|
|
| 635 |
2019/09/17 00:38:09
|
count l n = count (rev l) n
|
yodvhskd |
Success |
|
|
| 634 |
2019/09/17 00:16:08
|
gcd(n, n+1) = 1
|
yodvhskd |
Success |
|
|
| 633 |
2019/09/16 20:48:40
|
forall l: list nat, l @ [0] <> []
|
efk |
Success |
|
|
| 632 |
2019/09/16 18:18:07
|
n < m \/ n = m \/ n > m
|
efk |
Success |
|
|
| 631 |
2019/09/16 18:17:00
|
n * S m = n + n * m
|
efk |
Success |
|
|
| 630 |
2019/09/16 18:15:49
|
forall f: bool -> bool, f^3(x) = f(x)
|
efk |
Success |
|
|
| 629 |
2019/09/16 17:56:17
|
plus_comm
|
efk |
Success |
|
|
| 628 |
2019/09/16 17:55:38
|
1 + 1 = 2
|
efk |
Success |
|
|
| 627 |
2019/09/16 17:53:50
|
plus_comm
|
efk |
Failure |
|
|
| 626 |
2019/09/16 17:52:06
|
plus_assoc
|
efk |
Success |
|
|
| 625 |
2019/09/16 17:32:11
|
Grand Garden
|
sorata |
Success |
|
|
| 624 |
2019/09/16 14:32:21
|
gcd(n, n+1) = 1
|
efk |
Success |
|
|
| 623 |
2019/09/16 03:32:48
|
Multiplication in F_2 is idempotent
|
taisei |
Success |
|
|
| 622 |
2019/09/16 01:15:23
|
Grand Garden
|
kkob |
Success |
|
|
| 621 |
2019/09/16 00:47:52
|
Grand Garden
|
kkob |
Rejected |
|
|
| 620 |
2019/09/15 23:11:09
|
unique (unique l) = l
|
kurgm |
Success |
|
|
| 619 |
2019/09/15 23:10:44
|
unique (unique l) = l
|
kurgm |
Failure |
|
|
| 618 |
2019/09/15 22:39:39
|
Grand Garden
|
kozima |
Success |
|
|
| 617 |
2019/09/15 22:37:50
|
unique count
|
mttm |
Success |
|
|
| 616 |
2019/09/15 22:02:07
|
count l n = count (rev l) n
|
kurgm |
Success |
|
|
| 615 |
2019/09/15 22:01:31
|
gcd(n, n+1) = 1
|
minaminao |
Success |
|
|
| 614 |
2019/09/15 22:01:23
|
count l n = count (rev l) n
|
kurgm |
Failure |
|
|
| 613 |
2019/09/15 22:00:55
|
gcd(n, n+1) = 1
|
minaminao |
Failure |
|
|
| 612 |
2019/09/15 21:44:49
|
gcd(n, n+1) = 1
|
kurgm |
Success |
|
|
| 611 |
2019/09/15 19:15:21
|
count l n = count (rev l) n
|
yishibashi |
Success |
|
|
| 610 |
2019/09/15 19:12:46
|
gcd(n, n+1) = 1
|
cympfh |
Success |
|
|
| 609 |
2019/09/15 19:07:29
|
unique (unique l) = l
|
efk |
Success |
|
|
| 608 |
2019/09/15 18:59:21
|
unique (unique l) = l
|
mttm |
Success |
|
|
| 607 |
2019/09/15 18:57:06
|
unique (unique l) = l
|
cympfh |
Success |
|
|
| 606 |
2019/09/15 18:40:52
|
unique (unique l) = l
|
yamarten |
Success |
|
|
| 605 |
2019/09/15 18:40:21
|
count l n = count (rev l) n
|
yamarten |
Success |
|
|
| 604 |
2019/09/15 18:39:00
|
unique count
|
pekempey |
Success |
|
|
| 603 |
2019/09/15 18:38:55
|
unique (unique l) = l
|
yamarten |
Failure |
|
|
| 602 |
2019/09/15 18:37:22
|
Grand Garden
|
kozima |
Success |
|
|
| 601 |
2019/09/15 18:36:41
|
unique count
|
prime |
Success |
|
|
| 600 |
2019/09/15 18:20:18
|
count l n = count (rev l) n
|
yamarten |
Failure |
|
|
| 599 |
2019/09/15 18:10:24
|
unique (unique l) = l
|
pekempey |
Success |
|
|
| 598 |
2019/09/15 18:09:33
|
count l n = count (rev l) n
|
mttm |
Success |
|
|
| 597 |
2019/09/15 18:01:23
|
count l n = count (rev l) n
|
okaduki |
Success |
|
|
| 596 |
2019/09/15 17:58:09
|
unique count
|
sorata |
Success |
|
|
| 595 |
2019/09/15 17:57:32
|
count l n = count (rev l) n
|
spica314 |
Success |
|
|
| 594 |
2019/09/15 17:56:06
|
count l n = count (rev l) n
|
cympfh |
Success |
|
|