1187 
2019/12/04 20:32:59

Binary search

kozima 
Success 


1186 
2019/12/04 20:31:47

Booleanhole principle revisited

kozima 
Success 


1185 
2019/12/04 20:31:25

Midpoint

kozima 
Success 


1184 
2019/12/04 20:30:51

Zero test

kozima 
Success 


1183 
2019/12/04 06:31:07

Definitions of injectivity

tanakh 
Success 


1182 
2019/12/04 05:17:13

Definitions of injectivity

tanakh 
Rejected 


1181 
2019/12/04 04:37:21

Cumulative sum of list

tanakh 
Success 


1180 
2019/12/04 04:36:46

Cumulative sum of list

tanakh 
Failure 


1179 
2019/12/04 04:36:28

Cumulative sum of list

tanakh 
Failure 


1178 
2019/12/04 02:42:18

Grand Garden

tzik 
Success 


1177 
2019/12/02 04:25:54

Sum of binomial coefficients

tzik 
Success 


1176 
2019/12/01 15:58:41

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

na4zagin3 
Success 


1175 
2019/12/01 15:46:54

Three is prime

na4zagin3 
Success 


1174 
2019/11/30 23:48:24

Product of n consecutive integers is divisible by n!

kik 
Success 


1173 
2019/11/30 19:21:16

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

cyan 
Success 


1172 
2019/11/30 03:27:51

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

kik 
Success 


1171 
2019/11/30 03:22:43

n * S m = n + n * m

kik 
Success 


1170 
2019/11/30 03:05:30

1 + 1 = 2

kik 
Success 


1169 
2019/11/30 03:04:00

plus_comm

kik 
Success 


1168 
2019/11/30 02:38:10

plus_assoc

kik 
Success 


1167 
2019/11/30 02:21:55

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

kik 
Success 


1166 
2019/11/30 01:43:19

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

natsugiri 
Success 


1165 
2019/11/29 23:24:54

Two is not Three

na4zagin3 
Success 


1164 
2019/11/29 10:59:09

n * S m = n + n * m

cyan 
Success 


1163 
2019/11/29 04:57:32

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

natsugiri 
Success 


1162 
2019/11/29 02:18:37

plus_assoc

natsugiri 
Success 


1161 
2019/11/28 22:33:57

Relative prime squares

tzik 
Success 


1160 
2019/11/28 20:56:50

Multiplication of nonzero value in F_p is injective

CoiL 
Success 


1159 
2019/11/28 20:38:33

Two is not Three

blue_jam 
Failure 


1158 
2019/11/28 20:38:24

Summand of one

blue_jam 
Failure 


1157 
2019/11/28 20:37:32

Two is not Three

nuip 
Failure 


1156 
2019/11/28 20:37:29

Two is not Three

nekodesu 
Failure 


1155 
2019/11/28 19:11:30

Double

natsugiri 
Success 


1154 
2019/11/28 18:52:43

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

cyan 
Success 


1153 
2019/11/28 18:35:38

1 + 1 = 2

cyan 
Success 


1152 
2019/11/28 18:33:54

plus_comm

cyan 
Success 


1151 
2019/11/28 18:11:56

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

tanakh 
Success 


1150 
2019/11/28 17:43:10

plus_assoc

cyan 
Success 


1149 
2019/11/28 17:09:16

Three is prime

tanakh 
Success 


1148 
2019/11/28 15:52:15

Uniqueness of inequality proofs

yodvhskd 
Success 


1147 
2019/11/28 10:01:37

Multiplication of nonzero value in F_p is injective

tzik 
Success 


1146 
2019/11/28 07:27:14

Iterated iteration

tzik 
Success 


1145 
2019/11/28 03:22:36

unique (unique l) = l

natsugiri 
Success 


1144 
2019/11/27 22:29:22

Multiplication in F_2 is idempotent

natsugiri 
Success 


1143 
2019/11/27 22:29:09

Multiplication in F_2 is idempotent

natsugiri 
Failure 


1142 
2019/11/27 20:52:25

Definitions of injectivity

natsugiri 
Success 


1141 
2019/11/27 16:12:53

De Morgan's laws in Coq

tanakh 
Success 


1140 
2019/11/27 16:12:00

De Morgan's laws in Coq

tanakh 
Rejected 


1139 
2019/11/27 02:45:47

Cumulative sum of list

natsugiri 
Success 


1138 
2019/11/27 01:37:47

Two is not Three

tzik 
Success 

