913 
2019/10/22 15:39:23

De Morgan's laws in Coq

miya 
Success 


912 
2019/10/22 15:28:46

mult_n_O

miya 
Success 


911 
2019/10/22 15:27:15

gcd(n, n+1) = 1

miya 
Success 


910 
2019/10/22 15:18:35

Summand of one

miya 
Success 


909 
2019/10/22 15:10:09

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

miya 
Success 


908 
2019/10/22 15:00:56

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

egashira 
Success 


907 
2019/10/22 14:59:53

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

egashira 
Success 


906 
2019/10/22 14:07:00

n * S m = n + n * m

miya 
Success 


905 
2019/10/22 13:45:56

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

miya 
Success 


904 
2019/10/22 13:25:26

1 + 1 = 2

miya 
Success 


903 
2019/10/22 13:20:45

plus_comm

miya 
Success 


902 
2019/10/22 13:16:02

plus_assoc

miya 
Success 


901 
2019/10/22 02:47:53

plus_comm

yamunaku_ 
Success 


900 
2019/10/22 02:31:09

plus_assoc

yamunaku_ 
Success 


899 
2019/10/22 02:30:46

plus_assoc

yamunaku_ 
Failure 


898 
2019/10/21 15:20:50

Definitions of injectivity

momohatt 
Success 


897 
2019/10/21 15:07:05

Identity permutation

momohatt 
Success 


896 
2019/10/17 20:43:40

Three is prime

nuip 
Failure 


895 
2019/10/17 20:39:58

count l n = count (rev l) n

CoiL 
Success 


894 
2019/10/17 20:06:30

Multiplication in F_2 is idempotent

CoiL 
Success 


893 
2019/10/17 19:37:43

Cumulative sum of list

CoiL 
Success 


892 
2019/10/17 19:36:37

Cumulative sum of list

CoiL 
Success 


891 
2019/10/12 19:32:42

Booleanhole principle

nikeya 
Success 


890 
2019/10/10 23:35:45

plus_assoc

JP3BGY 
Success 


889 
2019/10/10 19:58:25

Definitions of injectivity

CoiL 
Success 


888 
2019/10/10 16:38:33

1 + 1 = 2

ta12ka7shi 
Success 


887 
2019/10/09 16:10:53

Two is not Three

CoiL 
Success 


886 
2019/10/09 16:09:22

Two is not Three

CoiL 
Failure 


885 
2019/10/08 13:48:20

Booleanhole principle

spica314 
Success 


884 
2019/10/08 11:58:14

unique count

coorde 
Success 


883 
2019/10/07 15:53:55

Any natural number is expressible in binary notation

momohatt 
Success 


882 
2019/10/07 15:51:57

Any natural number is expressible in binary notation

momohatt 
Failure 


881 
2019/10/07 15:51:00

Any natural number is expressible in binary notation

momohatt 
Failure 


880 
2019/10/07 15:49:51

Any natural number is expressible in binary notation

momohatt 
Failure 


879 
2019/10/07 15:36:46

Multiplication of nonzero value in F_p is injective

momohatt 
Success 


878 
2019/10/07 14:07:48

Three is prime

mttm 
Success 


877 
2019/10/07 09:18:20

Two is not Three

splatoon_suki 
Success 


876 
2019/10/06 22:40:11

Three is prime

pekempey 
Success 


875 
2019/10/06 22:29:50

Two is not Three

pekempey 
Success 


874 
2019/10/06 22:14:52

Iterated iteration

kaz 
Success 


873 
2019/10/06 22:06:44

Iterated iteration

kaz 
Success 


872 
2019/10/06 22:03:51

Iterated iteration

coorde 
Success 


871 
2019/10/06 21:41:56

Iterated iteration

pekempey 
Success 


870 
2019/10/06 21:41:43

Iterated iteration

coorde 
Rejected 


869 
2019/10/06 21:41:08

Iterated iteration

coorde 
Failure 


868 
2019/10/06 21:28:45

Iterated iteration

hirosegolf 
Success 


867 
2019/10/06 21:28:07

Iterated iteration

hirosegolf 
Failure 


866 
2019/10/06 21:21:20

Two is not Three

momohatt 
Success 


865 
2019/10/06 21:17:34

Two is not Three

sorata 
Success 


864 
2019/10/06 21:03:23

Iterated iteration

yodvhskd 
Success 

