| 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 |
|
|