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 


711 
2019/09/22 20:15:35

De Morgan's laws in Coq

spica314 
Success 


710 
2019/09/22 20:13:32

De Morgan's laws in Coq

cympfh 
Success 


709 
2019/09/22 20:12:54

Any natural number is expressible in binary notation

kozima 
Success 


708 
2019/09/22 20:11:41

mult_n_O

coorde 
Success 


707 
2019/09/22 20:11:15

mult_n_O

mttm 
Success 


706 
2019/09/22 20:11:00

De Morgan's laws in Coq

yamarten 
Success 


705 
2019/09/22 20:10:38

mult_n_O

efk 
Success 


704 
2019/09/22 20:10:05

De Morgan's laws in Coq

drafear 
Rejected 


703 
2019/09/22 20:09:57

mult_n_O

wass88 
Success 


702 
2019/09/22 20:09:28

Any natural number is expressible in binary notation

drafear 
Failure 


701 
2019/09/22 20:09:13

De Morgan's laws in Coq

taisei 
Success 


700 
2019/09/22 20:09:02

De Morgan's laws in Coq

sorata 
Success 


699 
2019/09/22 20:05:48

De Morgan's laws in Coq

muratak 
Success 


698 
2019/09/22 20:05:37

De Morgan's laws in Coq

pekempey 
Success 


697 
2019/09/22 20:05:32

mult_n_O

drafear 
Success 


696 
2019/09/22 20:04:10

mult_n_O

Haar 
Success 


695 
2019/09/22 20:03:31

De Morgan's laws in Coq

kkob 
Success 


694 
2019/09/22 20:03:19

mult_n_O

taisei 
Success 


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

