463 
2019/09/08 20:07:04

Definitions of injectivity

pekempey 
Success 


462 
2019/09/08 20:06:49

Definitions of injectivity

kaz 
Success 


461 
2019/09/08 20:05:37

Summand of one

sorata 
Success 


460 
2019/09/08 20:03:37

Summand of one

kimiyuki 
Success 


459 
2019/09/08 20:02:56

Summand of one

drafear 
Success 


458 
2019/09/08 20:02:54

Summand of one

okaduki 
Success 


457 
2019/09/08 20:02:29

Summand of one

satos 
Success 


456 
2019/09/08 20:01:23

Summand of one

kkob 
Success 


455 
2019/09/08 20:01:20

Summand of one

kaz 
Success 


454 
2019/09/08 20:01:17

Summand of one

muratak 
Success 


453 
2019/09/08 20:00:44

Summand of one

pekempey 
Success 


452 
2019/09/08 18:22:29

Identity permutation

kozima 
Success 


451 
2019/09/08 18:22:07

Multiplication in F_2 is idempotent

kozima 
Success 


450 
2019/09/08 18:21:27

Definitions of injectivity

kozima 
Success 


449 
2019/09/08 18:20:38

Summand of one

kozima 
Success 


448 
2019/09/05 01:14:15

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

cympfh 
Success 


447 
2019/09/03 20:55:59

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

cympfh 
Success 


446 
2019/09/03 20:51:57

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

cympfh 
Success 


445 
2019/09/03 20:43:18

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

cympfh 
Failure 


444 
2019/09/03 20:36:23

1 + 1 = 2

cympfh 
Success 


443 
2019/09/03 20:35:22

plus_comm

cympfh 
Success 


442 
2019/09/03 20:32:23

plus_assoc

cympfh 
Success 


441 
2019/09/03 20:25:26

Product of n consecutive integers is divisible by n!

cympfh 
Success 


440 
2019/09/03 20:19:03

Product of n consecutive integers is divisible by n!

cympfh 
Failure 


439 
2019/09/03 15:06:03

n * S m = n + n * m

cympfh 
Success 


438 
2019/09/03 15:02:43

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

cympfh 
Success 


437 
2019/09/03 14:52:17

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

cympfh 
Failure 


436 
2019/09/03 14:32:06

Cumulative sum of list

cympfh 
Success 


435 
2019/09/01 19:49:53

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

muratak 
Success 


434 
2019/09/01 19:33:53

Cumulative sum of list

muratak 
Success 


433 
2019/09/01 19:33:20

Cumulative sum of list

muratak 
Failure 


432 
2019/09/01 19:16:43

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

muratak 
Success 


431 
2019/08/31 22:19:06

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

yodvhskd 
Success 


430 
2019/08/31 22:02:00

plus_comm

yodvhskd 
Success 


429 
2019/08/31 18:20:24

Cumulative sum of list

admitted 
Success 


428 
2019/08/31 17:53:39

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

admitted 
Success 


427 
2019/08/31 16:35:17

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

cympfh 
Success 


426 
2019/08/31 16:34:26

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

cympfh 
Success 


425 
2019/08/31 16:33:34

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

cympfh 
Failure 


424 
2019/08/31 04:59:27

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

admitted 
Success 


423 
2019/08/31 04:35:39

n * S m = n + n * m

admitted 
Success 


422 
2019/08/31 04:22:47

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

admitted 
Success 


421 
2019/08/31 04:05:00

1 + 1 = 2

admitted 
Success 


420 
2019/08/31 04:02:26

plus_comm

admitted 
Success 


419 
2019/08/31 03:51:03

plus_assoc

admitted 
Success 


418 
2019/08/31 00:32:14

1 + 1 = 2

yodvhskd 
Success 


417 
2019/08/31 00:28:15

1 + 1 = 2

yodvhskd 
Success 


416 
2019/08/30 23:22:39

1 + 1 = 2

omasanori 
Success 


415 
2019/08/30 23:21:51

1 + 1 = 2

omasanori 
Failure 


414 
2019/08/30 21:29:36

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

kimiyuki 
Success 

