811 
2019/10/03 21:22:23

Booleanhole principle

kozima 
Success 


810 
2019/10/03 21:22:11

Three is prime

kozima 
Success 


809 
2019/10/03 21:20:52

Booleanhole principle

kozima 
Failure 


808 
2019/10/03 12:42:53

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

nikeya 
Success 


807 
2019/10/03 12:20:28

mult_n_O

nikeya 
Success 


806 
2019/10/03 12:18:21

De Morgan's laws in Coq

nikeya 
Success 


805 
2019/10/02 18:16:50

1 + 1 = 2

nikeya 
Success 


804 
2019/10/02 18:15:34

plus_comm

nikeya 
Success 


803 
2019/10/02 18:14:45

plus_comm

nikeya 
Failure 


802 
2019/10/02 17:24:14

plus_assoc

nikeya 
Success 


801 
2019/10/01 02:53:35

plus_assoc

test 
Success 


800 
2019/09/27 19:48:06

mult_n_O

yishibashi 
Success 


799 
2019/09/27 19:21:56

n * S m = n + n * m

yishibashi 
Success 


798 
2019/09/27 19:10:58

plus_comm

yishibashi 
Success 


797 
2019/09/27 18:48:04

plus_assoc

yishibashi 
Success 


796 
2019/09/27 18:24:22

Summand of one

yishibashi 
Success 


795 
2019/09/26 13:40:51

unique (unique l) = l

coorde 
Success 


794 
2019/09/26 13:38:55

unique (unique l) = l

coorde 
Failure 


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 

