| 793 |
2019/09/25 15:05:16
|
Any natural number is expressible in binary notation
|
kurgm |
Success |
|
|
| 792 |
2019/09/25 13:58:23
|
De Morgan's laws in Coq
|
kurgm |
Success |
|
|
| 791 |
2019/09/25 13:40:48
|
mult_n_O
|
kurgm |
Success |
|
|
| 790 |
2019/09/25 00:45:20
|
forall l: list nat, l @ [0] <> []
|
kkob |
Success |
|
|
| 789 |
2019/09/25 00:44:43
|
n < m \/ n = m \/ n > m
|
kkob |
Success |
|
|
| 788 |
2019/09/25 00:44:08
|
n * S m = n + n * m
|
kkob |
Success |
|
|
| 787 |
2019/09/25 00:42:54
|
forall f: bool -> bool, f^3(x) = f(x)
|
kkob |
Success |
|
|
| 786 |
2019/09/25 00:40:39
|
1 + 1 = 2
|
kkob |
Success |
|
|
| 785 |
2019/09/25 00:39:22
|
plus_comm
|
kkob |
Success |
|
|
| 784 |
2019/09/24 09:14:21
|
count l n = count (rev l) n
|
coorde |
Success |
|
|
| 783 |
2019/09/24 09:04:50
|
count l n = count (rev l) n
|
coorde |
Failure |
|
|
| 782 |
2019/09/24 08:48:07
|
gcd(n, n+1) = 1
|
coorde |
Success |
|
|
| 781 |
2019/09/23 14:52:40
|
forall f: bool -> bool, f^3(x) = f(x)
|
melan |
Success |
|
|
| 780 |
2019/09/23 12:55:30
|
De Morgan's laws in Coq
|
mkakh |
Success |
|
|
| 779 |
2019/09/23 04:26:51
|
Multiplication of non-zero value in F_p is injective
|
kkob |
Success |
|
|
| 778 |
2019/09/23 04:20:43
|
plus_assoc
|
kkob |
Success |
|
|
| 777 |
2019/09/23 04:20:40
|
plus_assoc
|
kkob |
Success |
|
|
| 776 |
2019/09/23 04:20:36
|
plus_assoc
|
kkob |
Success |
|
|
| 775 |
2019/09/23 04:20:28
|
plus_assoc
|
kkob |
Success |
|
|
| 774 |
2019/09/23 04:19:18
|
plus_assoc
|
kkob |
Success |
|
|
| 773 |
2019/09/23 04:18:55
|
plus_assoc
|
kkob |
Success |
|
|
| 772 |
2019/09/23 03:13:17
|
plus_assoc
|
kkob |
Success |
|
|
| 771 |
2019/09/23 03:02:18
|
plus_assoc
|
kkob |
Success |
|
|
| 770 |
2019/09/23 02:59:02
|
plus_assoc
|
kkob |
Success |
|
|
| 769 |
2019/09/23 02:50:15
|
plus_assoc
|
kkob |
Success |
|
|
| 768 |
2019/09/23 02:33:24
|
1 + 1 = 2
|
melan |
Success |
|
|
| 767 |
2019/09/23 02:32:20
|
1 + 1 = 2
|
melan |
Failure |
|
|
| 766 |
2019/09/23 00:17:36
|
mult_n_O
|
kozima |
Success |
|
|
| 765 |
2019/09/23 00:00:10
|
Multiplication of non-zero value in F_p is injective
|
muratak |
Success |
|
|
| 764 |
2019/09/22 23:59:21
|
Multiplication of non-zero value in F_p is injective
|
muratak |
Failure |
|
|
| 763 |
2019/09/22 22:37:07
|
Multiplication of non-zero value in F_p is injective
|
kkob |
Success |
|
|
| 762 |
2019/09/22 22:01:31
|
Multiplication of non-zero value in F_p is injective
|
prime |
Success |
|
|
| 761 |
2019/09/22 21:56:45
|
Multiplication of non-zero value in F_p is injective
|
drafear |
Failure |
|
|
| 760 |
2019/09/22 21:56:02
|
Multiplication of non-zero value in F_p is injective
|
pekempey |
Success |
|
|
| 759 |
2019/09/22 21:54:35
|
De Morgan's laws in Coq
|
mkakh |
Rejected |
|
|
| 758 |
2019/09/22 21:49:06
|
Any natural number is expressible in binary notation
|
spica314 |
Success |
|
|
| 757 |
2019/09/22 21:47:16
|
Any natural number is expressible in binary notation
|
yamarten |
Success |
|
|
| 756 |
2019/09/22 21:46:21
|
Any natural number is expressible in binary notation
|
muratak |
Success |
|
|
| 755 |
2019/09/22 21:46:10
|
Any natural number is expressible in binary notation
|
yamarten |
Failure |
|
|
| 754 |
2019/09/22 21:45:42
|
Any natural number is expressible in binary notation
|
muratak |
Failure |
|
|
| 753 |
2019/09/22 21:44:59
|
Any natural number is expressible in binary notation
|
muratak |
Failure |
|
|
| 752 |
2019/09/22 21:35:06
|
Any natural number is expressible in binary notation
|
efk |
Success |
|
|
| 751 |
2019/09/22 21:24:50
|
De Morgan's laws in Coq
|
Haar |
Success |
|
|
| 750 |
2019/09/22 21:17:12
|
Any natural number is expressible in binary notation
|
wass88 |
Success |
|
|
| 749 |
2019/09/22 21:16:40
|
Any natural number is expressible in binary notation
|
wass88 |
Failure |
|
|
| 748 |
2019/09/22 21:13:42
|
Any natural number is expressible in binary notation
|
taisei |
Success |
|
|
| 747 |
2019/09/22 21:12:05
|
Any natural number is expressible in binary notation
|
wass88 |
Failure |
|
|
| 746 |
2019/09/22 21:10:58
|
Any natural number is expressible in binary notation
|
wass88 |
Failure |
|
|
| 745 |
2019/09/22 21:08:06
|
Any natural number is expressible in binary notation
|
taisei |
Failure |
|
|
| 744 |
2019/09/22 21:06:37
|
Any natural number is expressible in binary notation
|
prime |
Success |
|
|