1213 
2019/12/08 20:31:14

Midpoint

kaz 
Success 


1212 
2019/12/08 20:30:40

Zero test

chy 
Success 


1211 
2019/12/08 20:29:42

Midpoint

kik 
Success 


1210 
2019/12/08 20:22:49

Zero test

mttm 
Success 


1209 
2019/12/08 20:19:22

Booleanhole principle revisited

kkob 
Success 


1208 
2019/12/08 20:11:47

Midpoint

kkob 
Success 


1207 
2019/12/08 20:09:50

Zero test

kik 
Success 


1206 
2019/12/08 20:06:56

Zero test

kaz 
Success 


1205 
2019/12/08 20:06:55

Zero test

kkob 
Success 


1204 
2019/12/08 20:05:45

Zero test

na4zagin3 
Success 


1203 
2019/12/08 20:03:56

Zero test

yodvhskd 
Success 


1202 
2019/12/08 09:58:50

Identity permutation

tanakh 
Success 


1201 
2019/12/08 09:21:37

Product of n consecutive integers is divisible by n!

tanakh 
Success 


1200 
2019/12/08 03:24:24

infinite bool sequence is uncountable

tanakh 
Success 


1199 
2019/12/08 03:10:19

Tree addressing is injective

tanakh 
Success 


1198 
2019/12/08 00:18:39

Double

tanakh 
Success 


1197 
2019/12/08 00:11:10

Two is not Three

tanakh 
Success 


1196 
2019/12/07 23:45:27

Any natural number is expressible in binary notation

tanakh 
Success 


1195 
2019/12/07 21:16:45

unique count

tanakh 
Success 


1194 
2019/12/05 07:33:18

unique (unique l) = l

tanakh 
Success 


1193 
2019/12/05 07:31:08

unique (unique l) = l

tanakh 
Success 


1192 
2019/12/04 21:40:19

Multiplication in F_2 is idempotent

tanakh 
Success 


1191 
2019/12/04 21:39:48

Multiplication in F_2 is idempotent

tanakh 
Failure 


1190 
2019/12/04 21:35:02

count l n = count (rev l) n

tanakh 
Success 


1189 
2019/12/04 21:34:27

count l n = count (rev l) n

tanakh 
Failure 


1188 
2019/12/04 21:33:39

count l n = count (rev l) n

tanakh 
Failure 


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 

