| 693 |
2019/09/22 20:02:57
|
mult_n_O
|
sorata |
Success |
|
|
| 692 |
2019/09/22 20:02:46
|
De Morgan's laws in Coq
|
kozima |
Success |
|
|
| 691 |
2019/09/22 20:02:37
|
mult_n_O
|
yamarten |
Success |
|
|
| 690 |
2019/09/22 20:02:09
|
mult_n_O
|
cympfh |
Success |
|
|
| 689 |
2019/09/22 20:01:22
|
mult_n_O
|
kozima |
Success |
|
|
| 688 |
2019/09/22 20:01:21
|
mult_n_O
|
spica314 |
Success |
|
|
| 687 |
2019/09/22 20:01:19
|
mult_n_O
|
kkob |
Success |
|
|
| 686 |
2019/09/22 20:01:13
|
mult_n_O
|
prime |
Success |
|
|
| 685 |
2019/09/22 20:01:08
|
mult_n_O
|
mkakh |
Success |
|
|
| 684 |
2019/09/22 20:01:06
|
mult_n_O
|
muratak |
Success |
|
|
| 683 |
2019/09/22 20:00:52
|
mult_n_O
|
cympfh |
Failure |
|
|
| 682 |
2019/09/22 20:00:27
|
mult_n_O
|
pekempey |
Success |
|
|
| 681 |
2019/09/22 14:19:13
|
Multiplication of non-zero value in F_p is injective
|
kimiyuki |
Success |
|
|
| 680 |
2019/09/22 14:17:48
|
Any natural number is expressible in binary notation
|
kimiyuki |
Success |
|
|
| 679 |
2019/09/22 14:15:39
|
De Morgan's laws in Coq
|
kimiyuki |
Success |
|
|
| 678 |
2019/09/22 14:13:25
|
De Morgan's laws in Coq
|
kimiyuki |
Failure |
|
|
| 677 |
2019/09/22 14:11:29
|
mult_n_O
|
kimiyuki |
Success |
|
|
| 676 |
2019/09/22 04:46:50
|
plus_assoc
|
kivantium |
Success |
|
|
| 675 |
2019/09/21 17:08:01
|
forall l: list nat, l @ [0] <> []
|
mkakh |
Success |
|
|
| 674 |
2019/09/21 00:40:22
|
unique count
|
okaduki |
Success |
|
|
| 673 |
2019/09/20 22:14:26
|
n < m \/ n = m \/ n > m
|
anqou |
Success |
|
|
| 672 |
2019/09/20 19:40:23
|
forall f: bool -> bool, f^3(x) = f(x)
|
mkakh |
Success |
|
|
| 671 |
2019/09/20 19:27:55
|
n * S m = n + n * m
|
mkakh |
Success |
|
|
| 670 |
2019/09/20 19:17:30
|
n < m \/ n = m \/ n > m
|
mkakh |
Success |
|
|
| 669 |
2019/09/20 18:31:36
|
unique (unique l) = l
|
mkakh |
Failure |
|
|
| 668 |
2019/09/20 17:29:43
|
plus_assoc
|
mkakh |
Success |
|
|
| 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 |
|
|