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