1263 
2019/12/14 04:14:37

Product of n consecutive integers is divisible by n!

fetburner 
Success 


1262 
2019/12/14 02:46:17

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

fetburner 
Success 


1261 
2019/12/14 02:42:56

n * S m = n + n * m

fetburner 
Success 


1260 
2019/12/14 02:39:35

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

fetburner 
Success 


1259 
2019/12/14 02:36:49

1 + 1 = 2

fetburner 
Success 


1258 
2019/12/14 02:35:48

plus_comm

fetburner 
Success 


1257 
2019/12/14 02:32:44

plus_assoc

fetburner 
Success 


1256 
2019/12/12 23:11:45

Midpoint

natsugiri 
Success 


1255 
2019/12/12 20:26:03

Zero test

CoiL 
Success 


1254 
2019/12/12 20:11:40

Iterated iteration

CoiL 
Success 


1253 
2019/12/12 19:33:10

Iterated iteration

CoiL 
Rejected 


1252 
2019/12/10 21:38:47

Midpoint

maple 
Success 


1251 
2019/12/10 18:14:22

Zero test

maple 
Success 


1250 
2019/12/10 17:04:59

plus_comm

maple 
Success 


1249 
2019/12/10 16:55:06

plus_assoc

maple 
Success 


1248 
2019/12/10 12:54:47

Iterated iteration

chy 
Success 


1247 
2019/12/10 12:54:04

Iterated iteration

chy 
Failure 


1246 
2019/12/10 03:08:26

Binary search

tzik 
Success 


1245 
2019/12/09 23:48:52

Midpoint

tzik 
Success 


1244 
2019/12/09 21:09:15

Booleanhole principle revisited

natsugiri 
Success 


1243 
2019/12/09 12:57:53

Zero test

muratak 
Success 


1242 
2019/12/09 04:21:46

Multiplication of nonzero value in F_p is injective

tanakh 
Success 


1241 
2019/12/09 04:20:25

Multiplication of nonzero value in F_p is injective

tanakh 
Failure 


1240 
2019/12/09 02:52:18

Binary search

yodvhskd 
Success 


1239 
2019/12/09 02:27:53

Binary search

yodvhskd 
Success 


1238 
2019/12/08 23:54:53

Binary search

yodvhskd 
Success 


1237 
2019/12/08 23:11:05

Booleanhole principle revisited

tanakh 
Success 


1236 
2019/12/08 23:06:52

Booleanhole principle revisited

tzik 
Success 


1235 
2019/12/08 23:05:42

Zero test

tanakh 
Success 


1234 
2019/12/08 23:04:29

Booleanhole principle revisited

tzik 
Success 


1233 
2019/12/08 22:32:31

Binary search

kkob 
Success 


1232 
2019/12/08 22:10:28

Zero test

a_kawashiro 
Success 


1231 
2019/12/08 22:09:18

Midpoint

mttm 
Success 


1230 
2019/12/08 21:55:21

Midpoint

tzik 
Success 


1229 
2019/12/08 21:46:19

Booleanhole principle revisited

mttm 
Success 


1228 
2019/12/08 21:45:50

Midpoint

na4zagin3 
Success 


1227 
2019/12/08 21:42:20

Booleanhole principle revisited

mttm 
Success 


1226 
2019/12/08 21:41:27

Binary search

kik 
Success 


1225 
2019/12/08 21:31:06

Zero test

tzik 
Success 


1224 
2019/12/08 21:24:36

Booleanhole principle revisited

chy 
Success 


1223 
2019/12/08 21:02:38

Booleanhole principle revisited

yodvhskd 
Success 


1222 
2019/12/08 21:02:00

Booleanhole principle revisited

na4zagin3 
Success 


1221 
2019/12/08 20:57:39

Midpoint

chy 
Success 


1220 
2019/12/08 20:46:49

Midpoint

tanakh 
Success 


1219 
2019/12/08 20:42:55

Zero test

natsugiri 
Success 


1218 
2019/12/08 20:41:59

Zero test

natsugiri 
Failure 


1217 
2019/12/08 20:41:54

Binary search

kkob 
Success 


1216 
2019/12/08 20:39:42

Booleanhole principle revisited

kik 
Success 


1215 
2019/12/08 20:37:59

Midpoint

yodvhskd 
Success 


1214 
2019/12/08 20:33:35

Booleanhole principle revisited

kaz 
Success 

