167 
2019/08/19 11:34:46

Product of n consecutive integers is divisible by n!

satanic0258 
Success 


166 
2019/08/19 11:17:26

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

Mayimg 
Success 


165 
2019/08/19 10:36:23

plus_comm

Mayimg 
Success 


164 
2019/08/19 10:28:19

plus_assoc

Mayimg 
Success 


163 
2019/08/19 10:27:19

plus_assoc

Mayimg 
Failure 


162 
2019/08/19 10:26:33

plus_assoc

Mayimg 
Failure 


161 
2019/08/19 10:20:09

plus_assoc

Mayimg 
Failure 


160 
2019/08/19 08:57:56

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

pekempey 
Success 


159 
2019/08/19 08:55:45

plus_assoc

pekempey 
Success 


158 
2019/08/19 08:55:02

plus_assoc

pekempey 
Failure 


157 
2019/08/19 06:00:58

n * S m = n + n * m

pekempey 
Success 


156 
2019/08/19 05:47:38

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

satanic0258 
Success 


155 
2019/08/19 05:46:20

1 + 1 = 2

Mayimg 
Success 


154 
2019/08/19 05:41:42

1 + 1 = 2

Mayimg 
Success 


153 
2019/08/19 05:38:28

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

pekempey 
Success 


152 
2019/08/19 05:26:24

n * S m = n + n * m

satanic0258 
Success 


151 
2019/08/19 05:15:39

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

satanic0258 
Success 


150 
2019/08/19 04:48:04

1 + 1 = 2

pekempey 
Success 


149 
2019/08/19 04:47:24

plus_comm

pekempey 
Success 


148 
2019/08/19 04:47:00

plus_comm

pekempey 
Failure 


147 
2019/08/19 04:44:32

1 + 1 = 2

satanic0258 
Success 


146 
2019/08/19 04:42:20

plus_comm

satanic0258 
Success 


145 
2019/08/19 04:38:00

plus_assoc

pekempey 
Success 


144 
2019/08/19 04:37:22

plus_assoc

satanic0258 
Success 


143 
2019/08/19 04:36:19

plus_assoc

satanic0258 
Success 


142 
2019/08/19 03:08:03

Equivalent two quicksorts

koba 
Success 


141 
2019/08/19 03:00:23

Product of n consecutive integers is divisible by n!

drafear 
Success 


140 
2019/08/19 02:59:48

Equivalent two quicksorts

drafear 
Failure 


139 
2019/08/19 01:42:35

1 + 1 = 2

kanra824 
Success 


138 
2019/08/19 01:41:53

1 + 1 = 2

kanra824 
Failure 


137 
2019/08/19 01:36:57

1 + 1 = 2

kanra824 
Failure 


136 
2019/08/19 01:26:08

Equivalent two quicksorts

koba 
Success 


135 
2019/08/19 00:56:32

Equivalent two quicksorts

koba 
Rejected 


134 
2019/08/18 23:56:39

Equivalent two quicksorts

koba 
Rejected 


133 
2019/08/18 23:47:12

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

OKU_K 
Success 


132 
2019/08/18 23:35:07

n * S m = n + n * m

OKU_K 
Success 


131 
2019/08/18 23:24:19

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

OKU_K 
Success 


130 
2019/08/18 23:11:29

1 + 1 = 2

OKU_K 
Success 


129 
2019/08/18 23:08:11

plus_comm

OKU_K 
Success 


128 
2019/08/18 23:07:26

plus_comm

OKU_K 
Failure 


127 
2019/08/18 22:22:08

plus_comm

kurgm 
Success 


126 
2019/08/18 22:17:26

plus_assoc

kurgm 
Success 


125 
2019/08/18 22:17:13

Product of n consecutive integers is divisible by n!

suibaka 
Success 


124 
2019/08/18 20:54:31

Equivalent two quicksorts

koba 
Rejected 


123 
2019/08/18 20:50:01

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

kurgm 
Success 


122 
2019/08/18 20:29:16

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

satos 
Success 


121 
2019/08/18 20:27:46

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

satos 
Success 


120 
2019/08/18 20:25:26

n * S m = n + n * m

kurgm 
Success 


119 
2019/08/18 20:24:35

n * S m = n + n * m

etonagisa 
Success 


118 
2019/08/18 20:01:22

Product of n consecutive integers is divisible by n!

prime 
Success 

