| 243 |
2019/08/23 15:01:02
|
n * S m = n + n * m
|
rikein12 |
Success |
|
|
| 242 |
2019/08/23 08:57:00
|
forall f: bool -> bool, f^3(x) = f(x)
|
splatoon_suki |
Success |
|
|
| 241 |
2019/08/23 03:59:42
|
forall f: bool -> bool, f^3(x) = f(x)
|
rikein12 |
Success |
|
|
| 240 |
2019/08/23 03:55:16
|
1 + 1 = 2
|
rikein12 |
Success |
|
|
| 239 |
2019/08/23 03:35:18
|
plus_assoc
|
rikein12 |
Success |
|
|
| 238 |
2019/08/23 01:42:15
|
forall f: bool -> bool, f^3(x) = f(x)
|
kaz |
Success |
|
|
| 237 |
2019/08/23 01:32:12
|
Product of n consecutive integers is divisible by n!
|
kaz |
Success |
|
|
| 236 |
2019/08/23 01:11:02
|
Product of n consecutive integers is divisible by n!
|
kaz |
Success |
|
|
| 235 |
2019/08/23 01:08:08
|
Product of n consecutive integers is divisible by n!
|
kaz |
Success |
|
|
| 234 |
2019/08/23 01:07:00
|
Product of n consecutive integers is divisible by n!
|
kaz |
Success |
|
|
| 233 |
2019/08/23 01:05:17
|
Product of n consecutive integers is divisible by n!
|
kaz |
Failure |
|
|
| 232 |
2019/08/23 00:02:06
|
1 + 1 = 2
|
kaz |
Success |
|
|
| 231 |
2019/08/22 23:40:30
|
n < m \/ n = m \/ n > m
|
kaz |
Success |
|
|
| 230 |
2019/08/22 23:36:57
|
n * S m = n + n * m
|
kaz |
Success |
|
|
| 229 |
2019/08/22 23:35:05
|
forall f: bool -> bool, f^3(x) = f(x)
|
kaz |
Success |
|
|
| 228 |
2019/08/22 23:31:37
|
plus_comm
|
sorata |
Success |
|
|
| 227 |
2019/08/22 23:31:22
|
1 + 1 = 2
|
kaz |
Success |
|
|
| 226 |
2019/08/22 23:30:52
|
plus_comm
|
kaz |
Success |
|
|
| 225 |
2019/08/22 23:30:09
|
plus_comm
|
kaz |
Failure |
|
|
| 224 |
2019/08/22 23:29:06
|
plus_assoc
|
kaz |
Success |
|
|
| 223 |
2019/08/22 23:27:02
|
plus_assoc
|
sorata |
Success |
|
|
| 222 |
2019/08/22 23:26:04
|
plus_assoc
|
sorata |
Failure |
|
|
| 221 |
2019/08/22 23:24:12
|
plus_assoc
|
sorata |
Failure |
|
|
| 220 |
2019/08/22 14:59:16
|
1 + 1 = 2
|
luma |
Success |
|
|
| 219 |
2019/08/22 09:32:26
|
forall f: bool -> bool, f^3(x) = f(x)
|
kozima |
Success |
|
|
| 218 |
2019/08/22 01:02:03
|
n < m \/ n = m \/ n > m
|
asi1024 |
Success |
|
|
| 217 |
2019/08/22 01:01:39
|
n < m \/ n = m \/ n > m
|
asi1024 |
Failure |
|
|
| 216 |
2019/08/22 01:01:13
|
n < m \/ n = m \/ n > m
|
asi1024 |
Failure |
|
|
| 215 |
2019/08/21 19:52:23
|
n < m \/ n = m \/ n > m
|
efk |
Success |
|
|
| 214 |
2019/08/21 19:47:05
|
n * S m = n + n * m
|
efk |
Success |
|
|
| 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 |
|
|