376 
2019/08/26 20:59:40

1 + 1 = 2

chiguri 
Success 


375 
2019/08/26 20:59:29

plus_comm

cympfh 
Success 


374 
2019/08/26 20:58:31

plus_comm

chiguri 
Success 


373 
2019/08/26 20:56:24

plus_assoc

coorde 
Success 


372 
2019/08/26 20:50:10

plus_assoc

chiguri 
Success 


371 
2019/08/26 20:49:02

plus_assoc

chiguri 
Failure 


370 
2019/08/26 20:34:32

1 + 1 = 2

coorde 
Success 


369 
2019/08/26 20:22:31

plus_comm

drafear 
Success 


368 
2019/08/26 20:21:59

plus_comm

drafear 
Failure 


367 
2019/08/26 19:43:13

plus_assoc

cympfh 
Success 


366 
2019/08/26 19:42:32

plus_assoc

cympfh 
Failure 


365 
2019/08/26 18:58:12

plus_comm

mttm 
Success 


364 
2019/08/26 18:20:38

Cumulative sum of list

sorata 
Success 


363 
2019/08/26 14:30:09

forall l: list nat, l @ [0] <> []

heno239 
Success 


362 
2019/08/26 12:30:16

l1 <> l2 if l2 is an odd permutation of l1

kkob 
Success 


361 
2019/08/26 10:22:23

n < m \/ n = m \/ n > m

a_happin 
Success 


360 
2019/08/26 08:57:52

plus_comm

spica314 
Success 


359 
2019/08/26 08:32:58

plus_assoc

spica314 
Success 


358 
2019/08/26 04:20:30

forall l: list nat, l @ [0] <> []

pekempey 
Success 


357 
2019/08/26 03:52:57

l1 <> l2 if l2 is an odd permutation of l1

suibaka 
Success 


356 
2019/08/26 03:51:12

l1 <> l2 if l2 is an odd permutation of l1

suibaka 
Failure 


355 
2019/08/26 03:48:10

l1 <> l2 if l2 is an odd permutation of l1

suibaka 
Failure 


354 
2019/08/26 03:45:48

n * S m = n + n * m

omochana2 
Success 


353 
2019/08/26 03:37:39

plus_comm

omochana2 
Success 


352 
2019/08/26 03:30:24

plus_comm

omochana2 
Failure 


351 
2019/08/26 03:29:33

plus_assoc

omochana2 
Success 


350 
2019/08/26 02:58:33

forall f: bool > bool, f^3(x) = f(x)

omochana2 
Success 


349 
2019/08/26 02:40:25

plus_comm

mttm 
Success 


348 
2019/08/26 02:36:37

plus_assoc

mttm 
Success 


347 
2019/08/26 02:36:18

n < m \/ n = m \/ n > m

spica314 
Success 


346 
2019/08/26 02:34:30

plus_assoc

mttm 
Failure 


345 
2019/08/26 02:23:02

Product of n consecutive integers is divisible by n!

prime 
Success 


344 
2019/08/26 01:50:30

n * S m = n + n * m

mttm 
Success 


343 
2019/08/26 01:46:22

1 + 1 = 2

omochana2 
Success 


342 
2019/08/26 01:45:15

n * S m = n + n * m

spica314 
Success 


341 
2019/08/26 01:19:10

n * S m = n + n * m

prime 
Success 


340 
2019/08/26 01:16:25

1 + 1 = 2

prime 
Success 


339 
2019/08/26 01:13:50

forall f: bool > bool, f^3(x) = f(x)

prime 
Success 


338 
2019/08/26 01:11:50

l1 <> l2 if l2 is an odd permutation of l1

drafear 
Success 


337 
2019/08/26 01:11:06

l1 <> l2 if l2 is an odd permutation of l1

drafear 
Failure 


336 
2019/08/26 01:11:02

forall l: list nat, l @ [0] <> []

prime 
Success 


335 
2019/08/26 01:10:31

Cumulative sum of list

prime 
Success 


334 
2019/08/26 01:09:41

forall f: bool > bool, f^3(x) = f(x)

mttm 
Success 


333 
2019/08/26 01:08:42

l1 <> l2 if l2 is an odd permutation of l1

prime 
Success 


332 
2019/08/26 00:47:39

1 + 1 = 2

mttm 
Success 


331 
2019/08/26 00:38:37

forall l: list nat, l @ [0] <> []

yishibashi 
Success 


330 
2019/08/26 00:17:20

Cumulative sum of list

a_happin 
Success 


329 
2019/08/26 00:12:22

forall f: bool > bool, f^3(x) = f(x)

yishibashi 
Success 


328 
2019/08/25 23:49:36

l1 <> l2 if l2 is an odd permutation of l1

kaz 
Failure 


327 
2019/08/25 23:45:38

1 + 1 = 2

yishibashi 
Success 

