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 


676 
2019/09/22 04:46:50

plus_assoc

kivantium 
Success 


675 
2019/09/21 17:08:01

forall l: list nat, l @ [0] <> []

mkakh 
Success 


674 
2019/09/21 00:40:22

unique count

okaduki 
Success 


673 
2019/09/20 22:14:26

n < m \/ n = m \/ n > m

anqou 
Success 


672 
2019/09/20 19:40:23

forall f: bool > bool, f^3(x) = f(x)

mkakh 
Success 


671 
2019/09/20 19:27:55

n * S m = n + n * m

mkakh 
Success 


670 
2019/09/20 19:17:30

n < m \/ n = m \/ n > m

mkakh 
Success 


669 
2019/09/20 18:31:36

unique (unique l) = l

mkakh 
Failure 


668 
2019/09/20 17:29:43

plus_assoc

mkakh 
Success 


667 
2019/09/20 17:25:12

plus_assoc

mkakh 
Failure 


666 
2019/09/20 16:59:39

plus_comm

mkakh 
Success 


665 
2019/09/20 16:36:02

1 + 1 = 2

mkakh 
Success 


664 
2019/09/20 16:33:45

gcd(n, n+1) = 1

mkakh 
Success 


663 
2019/09/20 12:42:03

n * S m = n + n * m

anqou 
Success 


662 
2019/09/20 02:44:25

unique (unique l) = l

okaduki 
Success 

