213 |
2019/08/21 19:40:34
|
forall f: bool -> bool, f^3(x) = f(x)
|
efk |
Success |
|
|
212 |
2019/08/21 19:19:08
|
1 + 1 = 2
|
efk |
Success |
|
|
211 |
2019/08/21 18:29:23
|
Product of n consecutive integers is divisible by n!
|
kimiyuki |
Success |
|
|
210 |
2019/08/21 17:53:21
|
n * S m = n + n * m
|
a_happin |
Success |
|
|
209 |
2019/08/21 17:42:04
|
n * S m = n + n * m
|
a_happin |
Rejected |
|
|
208 |
2019/08/21 17:21:56
|
forall f: bool -> bool, f^3(x) = f(x)
|
a_happin |
Success |
|
|
207 |
2019/08/21 16:07:20
|
1 + 1 = 2
|
a_happin |
Failure |
|
|
206 |
2019/08/21 16:04:48
|
1 + 1 = 2
|
a_happin |
Failure |
|
|
205 |
2019/08/21 16:04:03
|
1 + 1 = 2
|
a_happin |
Success |
|
|
204 |
2019/08/21 16:03:38
|
1 + 1 = 2
|
a_happin |
Failure |
|
|
203 |
2019/08/21 16:03:18
|
1 + 1 = 2
|
a_happin |
Failure |
|
|
202 |
2019/08/21 15:59:43
|
plus_comm
|
a_happin |
Success |
|
|
201 |
2019/08/21 15:27:39
|
plus_assoc
|
a_happin |
Success |
|
|
200 |
2019/08/21 11:58:21
|
n < m \/ n = m \/ n > m
|
pandanoir |
Success |
|
|
199 |
2019/08/21 11:48:05
|
n * S m = n + n * m
|
pandanoir |
Success |
|
|
198 |
2019/08/21 11:47:59
|
forall f: bool -> bool, f^3(x) = f(x)
|
pandanoir |
Failure |
|
|
197 |
2019/08/21 11:30:49
|
forall f: bool -> bool, f^3(x) = f(x)
|
pandanoir |
Success |
|
|
196 |
2019/08/21 11:23:21
|
1 + 1 = 2
|
pandanoir |
Success |
|
|
195 |
2019/08/21 05:01:28
|
Equivalent two quicksorts
|
satos |
Success |
|
|
194 |
2019/08/21 05:00:50
|
Equivalent two quicksorts
|
satos |
Failure |
|
|
193 |
2019/08/21 04:59:24
|
Equivalent two quicksorts
|
satos |
Failure |
|
|
192 |
2019/08/20 23:30:02
|
Product of n consecutive integers is divisible by n!
|
kozima |
Success |
|
|
191 |
2019/08/20 20:02:54
|
plus_comm
|
minus3theta |
Success |
|
|
190 |
2019/08/20 19:39:23
|
plus_assoc
|
minus3theta |
Success |
|
|
189 |
2019/08/20 00:30:26
|
Product of n consecutive integers is divisible by n!
|
pekempey |
Success |
|
|
188 |
2019/08/19 23:39:05
|
Product of n consecutive integers is divisible by n!
|
satos |
Success |
|
|
187 |
2019/08/19 23:36:07
|
Product of n consecutive integers is divisible by n!
|
satos |
Failure |
|
|
186 |
2019/08/19 19:09:04
|
plus_comm
|
heno239 |
Success |
|
|
185 |
2019/08/19 19:02:43
|
plus_assoc
|
heno239 |
Success |
|
|
184 |
2019/08/19 18:51:48
|
1 + 1 = 2
|
drafear |
Success |
|
|
183 |
2019/08/19 17:57:32
|
n < m \/ n = m \/ n > m
|
okaduki |
Success |
|
|
182 |
2019/08/19 17:09:42
|
n * S m = n + n * m
|
okaduki |
Success |
|
|
181 |
2019/08/19 17:00:12
|
forall f: bool -> bool, f^3(x) = f(x)
|
okaduki |
Success |
|
|
180 |
2019/08/19 16:14:13
|
1 + 1 = 2
|
okaduki |
Success |
|
|
179 |
2019/08/19 16:05:38
|
plus_comm
|
okaduki |
Success |
|
|
178 |
2019/08/19 15:36:40
|
plus_comm
|
okaduki |
Failure |
|
|
177 |
2019/08/19 15:36:09
|
plus_comm
|
okaduki |
Failure |
|
|
176 |
2019/08/19 15:32:33
|
plus_assoc
|
okaduki |
Success |
|
|
175 |
2019/08/19 15:30:47
|
plus_assoc
|
okaduki |
Success |
|
|
174 |
2019/08/19 14:11:42
|
1 + 1 = 2
|
taro |
Failure |
|
|
173 |
2019/08/19 14:07:14
|
n * S m = n + n * m
|
selpo |
Success |
|
|
172 |
2019/08/19 13:54:08
|
forall f: bool -> bool, f^3(x) = f(x)
|
selpo |
Success |
|
|
171 |
2019/08/19 13:47:06
|
n * S m = n + n * m
|
minus3theta |
Success |
|
|
170 |
2019/08/19 13:36:10
|
forall f: bool -> bool, f^3(x) = f(x)
|
minus3theta |
Success |
|
|
169 |
2019/08/19 12:46:09
|
1 + 1 = 2
|
selpo |
Success |
|
|
168 |
2019/08/19 11:43:34
|
1 + 1 = 2
|
minus3theta |
Success |
|
|
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 |
|
|