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