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 nonzero 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 nonzero value in F_p is injective

muratak 
Success 


764 
2019/09/22 23:59:21

Multiplication of nonzero value in F_p is injective

muratak 
Failure 


763 
2019/09/22 22:37:07

Multiplication of nonzero value in F_p is injective

kkob 
Success 


762 
2019/09/22 22:01:31

Multiplication of nonzero value in F_p is injective

prime 
Success 


761 
2019/09/22 21:56:45

Multiplication of nonzero value in F_p is injective

drafear 
Failure 


760 
2019/09/22 21:56:02

Multiplication of nonzero 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 

