530 
2019/09/09 10:09:50

plus_assoc

Haar 
Success 


529 
2019/09/09 01:28:34

Definitions of injectivity

spica314 
Success 


528 
2019/09/09 00:42:39

Cumulative sum of list

coorde 
Success 


527 
2019/09/09 00:36:30

Cumulative sum of list

kurgm 
Success 


526 
2019/09/09 00:25:06

Definitions of injectivity

coorde 
Success 


525 
2019/09/09 00:19:57

plus_assoc

spica314 
Success 


524 
2019/09/09 00:14:07

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

kurgm 
Success 


523 
2019/09/09 00:02:45

Multiplication in F_2 is idempotent

coorde 
Success 


522 
2019/09/09 00:02:22

Identity permutation

taisei 
Success 


521 
2019/09/08 23:48:44

Multiplication in F_2 is idempotent

kurgm 
Success 


520 
2019/09/08 23:35:28

Multiplication in F_2 is idempotent

cympfh 
Success 


519 
2019/09/08 23:30:05

Identity permutation

okaduki 
Success 


518 
2019/09/08 23:12:17

Identity permutation

okaduki 
Success 


517 
2019/09/08 22:51:49

Identity permutation

koba 
Success 


516 
2019/09/08 22:49:39

Definitions of injectivity

kurgm 
Success 


515 
2019/09/08 22:34:34

Identity permutation

kkob 
Success 


514 
2019/09/08 22:26:18

Multiplication in F_2 is idempotent

koba 
Success 


513 
2019/09/08 22:17:51

Identity permutation

kkob 
Success 


512 
2019/09/08 22:15:20

Definitions of injectivity

koba 
Success 


511 
2019/09/08 22:10:57

Definitions of injectivity

spica314 
Rejected 


510 
2019/09/08 22:06:45

Multiplication in F_2 is idempotent

prime 
Success 


509 
2019/09/08 22:03:37

Multiplication in F_2 is idempotent

efk 
Success 


508 
2019/09/08 22:00:03

Summand of one

koba 
Success 


507 
2019/09/08 21:59:21

Identity permutation

kkob 
Success 


506 
2019/09/08 21:52:23

Definitions of injectivity

spica314 
Rejected 


505 
2019/09/08 21:47:13

Summand of one

kurgm 
Success 


504 
2019/09/08 21:39:55

Identity permutation

mttm 
Success 


503 
2019/09/08 21:34:09

Definitions of injectivity

okaduki 
Success 


502 
2019/09/08 21:28:09

Definitions of injectivity

yamarten 
Success 


501 
2019/09/08 21:25:31

Identity permutation

muratak 
Success 


500 
2019/09/08 21:25:05

Identity permutation

muratak 
Failure 


499 
2019/09/08 21:24:25

Identity permutation

muratak 
Failure 


498 
2019/09/08 21:12:32

Summand of one

yamarten 
Success 


497 
2019/09/08 21:10:48

Identity permutation

drafear 
Success 


496 
2019/09/08 21:10:31

Identity permutation

drafear 
Success 


495 
2019/09/08 21:10:18

Identity permutation

kimiyuki 
Success 


494 
2019/09/08 21:09:02

Definitions of injectivity

efk 
Success 


493 
2019/09/08 21:08:04

Definitions of injectivity

efk 
Failure 


492 
2019/09/08 21:07:35

Multiplication in F_2 is idempotent

okaduki 
Success 


491 
2019/09/08 20:55:08

Multiplication in F_2 is idempotent

drafear 
Success 


490 
2019/09/08 20:54:17

Identity permutation

satos 
Success 


489 
2019/09/08 20:52:05

Identity permutation

pekempey 
Success 


488 
2019/09/08 20:51:22

Definitions of injectivity

cympfh 
Success 


487 
2019/09/08 20:47:35

Identity permutation

sorata 
Success 


486 
2019/09/08 20:45:16

Identity permutation

sorata 
Failure 


485 
2019/09/08 20:43:39

Multiplication in F_2 is idempotent

kimiyuki 
Success 


484 
2019/09/08 20:36:35

Multiplication in F_2 is idempotent

satos 
Success 


483 
2019/09/08 20:35:30

Multiplication in F_2 is idempotent

muratak 
Success 


482 
2019/09/08 20:31:57

Definitions of injectivity

drafear 
Success 


481 
2019/09/08 20:25:47

Identity permutation

kaz 
Success 

