267 |
2019/08/25 21:01:54
|
forall l: list nat, l @ [0] <> []
|
drafear |
Success |
|
|
266 |
2019/08/25 21:01:32
|
forall l: list nat, l @ [0] <> []
|
kaz |
Success |
|
|
265 |
2019/08/25 21:01:23
|
forall l: list nat, l @ [0] <> []
|
yodvhskd |
Success |
|
|
264 |
2019/08/25 21:01:17
|
forall l: list nat, l @ [0] <> []
|
kimiyuki |
Success |
|
|
263 |
2019/08/25 20:56:46
|
1 + 1 = 2
|
spica314 |
Success |
|
|
262 |
2019/08/25 20:54:16
|
1 + 1 = 2
|
kanra824 |
Success |
|
|
261 |
2019/08/25 19:57:58
|
plus_assoc
|
yodvhskd |
Success |
|
|
260 |
2019/08/25 11:40:11
|
1 + 1 = 2
|
momohatt |
Success |
|
|
259 |
2019/08/25 11:39:43
|
1 + 1 = 2
|
momohatt |
Failure |
|
|
258 |
2019/08/25 01:40:53
|
forall l: list nat, l @ [0] <> []
|
asi1024 |
Success |
|
|
257 |
2019/08/24 23:41:45
|
plus_comm
|
asi1024 |
Success |
|
|
256 |
2019/08/24 21:41:33
|
plus_comm
|
clkbug |
Failure |
|
|
255 |
2019/08/24 21:41:28
|
plus_comm
|
clkbug |
Failure |
|
|
254 |
2019/08/24 21:37:21
|
plus_comm
|
clkbug |
Failure |
|
|
253 |
2019/08/24 21:36:26
|
plus_comm
|
clkbug |
Failure |
|
|
252 |
2019/08/24 21:29:45
|
plus_assoc
|
clkbug |
Failure |
|
|
251 |
2019/08/24 21:24:32
|
plus_assoc
|
clkbug |
Failure |
|
|
250 |
2019/08/24 21:23:25
|
plus_assoc
|
clkbug |
Failure |
|
|
249 |
2019/08/24 20:38:23
|
1 + 1 = 2
|
yamarten |
Success |
|
|
248 |
2019/08/24 20:27:29
|
1 + 1 = 2
|
yamarten |
Rejected |
|
|
247 |
2019/08/24 08:44:10
|
1 + 1 = 2
|
koba |
Failure |
|
|
246 |
2019/08/24 08:43:24
|
1 + 1 = 2
|
koba |
Rejected |
|
|
245 |
2019/08/23 16:10:05
|
forall f: bool -> bool, f^3(x) = f(x)
|
luma |
Rejected |
|
|
244 |
2019/08/23 15:04:04
|
plus_comm
|
rikein12 |
Failure |
|
|
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 |
|
|