| 287 |
2019/08/25 21:19:25
|
forall l: list nat, l @ [0] <> []
|
taisei |
Success |
|
|
| 286 |
2019/08/25 21:17:58
|
forall l: list nat, l @ [0] <> []
|
yamarten |
Success |
|
|
| 285 |
2019/08/25 21:17:06
|
Cumulative sum of list
|
momohatt |
Success |
|
|
| 284 |
2019/08/25 21:16:50
|
Cumulative sum of list
|
taisei |
Success |
|
|
| 283 |
2019/08/25 21:14:54
|
Cumulative sum of list
|
kozima |
Success |
|
|
| 282 |
2019/08/25 21:13:07
|
forall l: list nat, l @ [0] <> []
|
satos |
Success |
|
|
| 281 |
2019/08/25 21:12:16
|
Cumulative sum of list
|
splatoon_suki |
Success |
|
|
| 280 |
2019/08/25 21:11:55
|
forall l: list nat, l @ [0] <> []
|
utgwkk |
Success |
|
|
| 279 |
2019/08/25 21:10:57
|
forall l: list nat, l @ [0] <> []
|
suibaka |
Success |
|
|
| 278 |
2019/08/25 21:10:39
|
forall l: list nat, l @ [0] <> []
|
sorata |
Success |
|
|
| 277 |
2019/08/25 21:10:21
|
Cumulative sum of list
|
kaz |
Success |
|
|
| 276 |
2019/08/25 21:08:50
|
forall l: list nat, l @ [0] <> []
|
kanra824 |
Success |
|
|
| 275 |
2019/08/25 21:07:19
|
forall l: list nat, l @ [0] <> []
|
prime |
Success |
|
|
| 274 |
2019/08/25 21:03:51
|
forall l: list nat, l @ [0] <> []
|
suibaka |
Failure |
|
|
| 273 |
2019/08/25 21:03:38
|
forall l: list nat, l @ [0] <> []
|
suibaka |
Failure |
|
|
| 272 |
2019/08/25 21:03:18
|
forall l: list nat, l @ [0] <> []
|
okaduki |
Success |
|
|
| 271 |
2019/08/25 21:03:08
|
forall l: list nat, l @ [0] <> []
|
kozima |
Success |
|
|
| 270 |
2019/08/25 21:03:06
|
forall l: list nat, l @ [0] <> []
|
momohatt |
Success |
|
|
| 269 |
2019/08/25 21:02:03
|
forall l: list nat, l @ [0] <> []
|
drafear |
Success |
|
|
| 268 |
2019/08/25 21:01:56
|
forall l: list nat, l @ [0] <> []
|
splatoon_suki |
Success |
|
|
| 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 |
|
|