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 


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 

