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 


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 

