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 


731 
2019/09/22 20:42:52

De Morgan's laws in Coq

okaduki 
Rejected 


730 
2019/09/22 20:39:55

Any natural number is expressible in binary notation

coorde 
Success 


729 
2019/09/22 20:36:34

Any natural number is expressible in binary notation

pekempey 
Success 


728 
2019/09/22 20:34:50

Any natural number is expressible in binary notation

pekempey 
Failure 


727 
2019/09/22 20:34:24

Any natural number is expressible in binary notation

drafear 
Success 


726 
2019/09/22 20:32:58

Multiplication of nonzero value in F_p is injective

kkob 
Success 


725 
2019/09/22 20:32:37

Any natural number is expressible in binary notation

pekempey 
Failure 


724 
2019/09/22 20:30:10

Any natural number is expressible in binary notation

drafear 
Failure 


723 
2019/09/22 20:25:52

Any natural number is expressible in binary notation

sorata 
Success 


722 
2019/09/22 20:24:48

De Morgan's laws in Coq

coorde 
Success 


721 
2019/09/22 20:24:44

De Morgan's laws in Coq

mttm 
Success 


720 
2019/09/22 20:24:35

De Morgan's laws in Coq

prime 
Success 


719 
2019/09/22 20:24:29

mult_n_O

okaduki 
Success 


718 
2019/09/22 20:24:22

De Morgan's laws in Coq

kaz 
Success 


717 
2019/09/22 20:24:21

mult_n_O

kaz 
Success 


716 
2019/09/22 20:22:37

De Morgan's laws in Coq

drafear 
Success 


715 
2019/09/22 20:20:25

De Morgan's laws in Coq

efk 
Success 


714 
2019/09/22 20:20:23

De Morgan's laws in Coq

wass88 
Success 


713 
2019/09/22 20:19:12

Any natural number is expressible in binary notation

drafear 
Failure 


712 
2019/09/22 20:18:25

Any natural number is expressible in binary notation

kkob 
Success 

