481 
2019/09/08 20:25:47

Identity permutation

kaz 
Success 


480 
2019/09/08 20:25:46

Multiplication in F_2 is idempotent

sorata 
Success 


479 
2019/09/08 20:25:16

Summand of one

siotouto 
Success 


478 
2019/09/08 20:24:41

Multiplication in F_2 is idempotent

pekempey 
Success 


477 
2019/09/08 20:24:19

Summand of one

efk 
Success 


476 
2019/09/08 20:20:41

Summand of one

spica314 
Success 


475 
2019/09/08 20:18:29

Summand of one

coorde 
Success 


474 
2019/09/08 20:17:04

Summand of one

coorde 
Failure 


473 
2019/09/08 20:15:34

Multiplication in F_2 is idempotent

kaz 
Success 


472 
2019/09/08 20:14:54

Definitions of injectivity

sorata 
Success 


471 
2019/09/08 20:12:59

Definitions of injectivity

sorata 
Failure 


470 
2019/09/08 20:12:52

Definitions of injectivity

kkob 
Success 


469 
2019/09/08 20:11:41

Definitions of injectivity

kimiyuki 
Success 


468 
2019/09/08 20:11:06

Definitions of injectivity

muratak 
Success 


467 
2019/09/08 20:10:30

Definitions of injectivity

satos 
Success 


466 
2019/09/08 20:09:51

Summand of one

prime 
Success 


465 
2019/09/08 20:08:16

Summand of one

cympfh 
Success 


464 
2019/09/08 20:08:07

Multiplication in F_2 is idempotent

kkob 
Success 


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 

