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 


743 
2019/09/22 21:06:10

De Morgan's laws in Coq

minaminao 
Success 


742 
2019/09/22 21:05:27

Any natural number is expressible in binary notation

taisei 
Failure 


741 
2019/09/22 21:04:28

De Morgan's laws in Coq

minaminao 
Rejected 


740 
2019/09/22 21:03:14

Any natural number is expressible in binary notation

taisei 
Failure 


739 
2019/09/22 21:02:29

Multiplication of nonzero value in F_p is injective

sorata 
Success 


738 
2019/09/22 20:59:35

Any natural number is expressible in binary notation

taisei 
Failure 


737 
2019/09/22 20:55:34

De Morgan's laws in Coq

Haar 
Rejected 


736 
2019/09/22 20:53:08

De Morgan's laws in Coq

mkakh 
Rejected 


735 
2019/09/22 20:48:03

De Morgan's laws in Coq

okaduki 
Success 


734 
2019/09/22 20:46:14

Any natural number is expressible in binary notation

kaz 
Success 


733 
2019/09/22 20:45:54

Multiplication of nonzero value in F_p is injective

kozima 
Success 


732 
2019/09/22 20:45:21

mult_n_O

minaminao 
Success 

