667 |
2019/09/20 17:25:12
|
plus_assoc
|
mkakh |
Failure |
|
|
666 |
2019/09/20 16:59:39
|
plus_comm
|
mkakh |
Success |
|
|
665 |
2019/09/20 16:36:02
|
1 + 1 = 2
|
mkakh |
Success |
|
|
664 |
2019/09/20 16:33:45
|
gcd(n, n+1) = 1
|
mkakh |
Success |
|
|
663 |
2019/09/20 12:42:03
|
n * S m = n + n * m
|
anqou |
Success |
|
|
662 |
2019/09/20 02:44:25
|
unique (unique l) = l
|
okaduki |
Success |
|
|
661 |
2019/09/20 00:43:05
|
1 + 1 = 2
|
hiromi_mi |
Success |
|
|
660 |
2019/09/20 00:09:21
|
forall f: bool -> bool, f^3(x) = f(x)
|
anqou |
Success |
|
|
659 |
2019/09/19 23:54:47
|
1 + 1 = 2
|
anqou |
Success |
|
|
658 |
2019/09/19 20:14:12
|
n * S m = n + n * m
|
youjotape |
Success |
|
|
657 |
2019/09/19 19:22:45
|
forall f: bool -> bool, f^3(x) = f(x)
|
youjotape |
Success |
|
|
656 |
2019/09/19 15:27:11
|
1 + 1 = 2
|
youjotape |
Success |
|
|
655 |
2019/09/19 15:00:40
|
plus_comm
|
youjotape |
Success |
|
|
654 |
2019/09/19 14:52:55
|
plus_assoc
|
youjotape |
Success |
|
|
653 |
2019/09/19 10:02:12
|
plus_assoc
|
stretchybox |
Success |
|
|
652 |
2019/09/18 22:41:18
|
plus_comm
|
stretchybox |
Success |
|
|
651 |
2019/09/18 22:40:54
|
plus_comm
|
stretchybox |
Success |
|
|
650 |
2019/09/18 22:33:54
|
plus_assoc
|
stretchybox |
Success |
|
|
649 |
2019/09/18 19:54:27
|
Cumulative sum of list
|
spica314 |
Success |
|
|
648 |
2019/09/18 15:35:28
|
unique count
|
spica314 |
Success |
|
|
647 |
2019/09/18 15:33:48
|
unique count
|
spica314 |
Success |
|
|
646 |
2019/09/18 14:41:50
|
unique (unique l) = l
|
spica314 |
Success |
|
|
645 |
2019/09/18 02:02:04
|
unique count
|
kimiyuki |
Success |
|
|
644 |
2019/09/18 01:33:41
|
unique (unique l) = l
|
kimiyuki |
Success |
|
|
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 |
|
|