1070 
2019/11/24 20:15:29

Tree addressing is injective

na4zagin3 
Success 


1069 
2019/11/24 20:13:48

infinite bool sequence is uncountable

kozima 
Success 


1068 
2019/11/24 20:11:27

Tree addressing is injective

sorata 
Success 


1067 
2019/11/24 20:11:21

Constructor is injective

yamarten 
Success 


1066 
2019/11/24 20:10:35

Tree addressing is injective

kozima 
Success 


1065 
2019/11/24 20:09:43

Tree addressing is injective

kaz 
Success 


1064 
2019/11/24 20:09:41

Constructor is injective

kaz 
Success 


1063 
2019/11/24 20:09:22

Constructor is injective

mttm 
Success 


1062 
2019/11/24 20:09:21

Tree addressing is injective

yodvhskd 
Success 


1061 
2019/11/24 20:05:09

Constructor is injective

hirosegolf 
Success 


1060 
2019/11/24 20:03:30

Constructor is injective

saitou 
Success 


1059 
2019/11/24 20:03:05

Constructor is injective

pekempey 
Success 


1058 
2019/11/24 20:03:02

Constructor is injective

tzik 
Success 


1057 
2019/11/24 20:02:16

Constructor is injective

na4zagin3 
Success 


1056 
2019/11/24 20:01:44

Constructor is injective

sorata 
Success 


1055 
2019/11/24 20:01:25

Constructor is injective

chy 
Success 


1054 
2019/11/24 20:01:06

Constructor is injective

kozima 
Success 


1053 
2019/11/24 20:01:01

Constructor is injective

yodvhskd 
Success 


1052 
2019/11/24 17:53:38

1 + 1 = 2

kano 
Success 


1051 
2019/11/24 17:46:46

plus_comm

kano 
Success 


1050 
2019/11/24 17:41:25

plus_assoc

kano 
Success 


1049 
2019/11/24 17:38:56

plus_assoc

kano 
Failure 


1048 
2019/11/24 17:37:45

plus_assoc

kano 
Failure 


1047 
2019/11/24 17:36:56

plus_assoc

kano 
Failure 


1046 
2019/11/22 03:07:00

count l n = count (rev l) n

tzik 
Success 


1045 
2019/11/22 02:42:23

gcd(n, n+1) = 1

tzik 
Success 


1044 
2019/11/22 02:29:50

Multiplication in F_2 is idempotent

tzik 
Success 


1043 
2019/11/22 01:53:49

Definitions of injectivity

tzik 
Success 


1042 
2019/11/21 21:09:59

Summand of one

tzik 
Success 


1041 
2019/11/21 20:39:21

Cumulative sum of list

tzik 
Success 


1040 
2019/11/21 20:08:40

Multiplication in F_2 is idempotent

nekodesu 
Failure 


1039 
2019/11/21 20:06:02

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

tzik 
Success 


1038 
2019/11/21 19:55:59

Product of n consecutive integers is divisible by n!

tzik 
Success 


1037 
2019/11/21 19:54:29

Product of n consecutive integers is divisible by n!

tzik 
Failure 


1036 
2019/11/21 19:53:42

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

tzik 
Success 


1035 
2019/11/21 00:10:55

Relative prime squares

kkob 
Success 


1034 
2019/11/20 20:27:36

n * S m = n + n * m

tanakh 
Success 


1033 
2019/11/20 20:10:26

plus_comm

tanakh 
Success 


1032 
2019/11/20 19:50:06

plus_assoc

tanakh 
Success 


1031 
2019/11/20 19:32:16

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

tanakh 
Success 


1030 
2019/11/20 19:09:36

1 + 1 = 2

tanakh 
Success 


1029 
2019/11/20 18:56:43

1 + 1 = 2

a_kawashiro 
Success 


1028 
2019/11/19 02:48:05

n * S m = n + n * m

tzik 
Success 


1027 
2019/11/19 02:33:59

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

tzik 
Success 


1026 
2019/11/18 20:57:49

plus_comm

tzik 
Success 


1025 
2019/11/18 20:55:03

plus_assoc

tzik 
Success 


1024 
2019/11/18 20:53:25

1 + 1 = 2

tzik 
Success 


1023 
2019/11/18 20:52:58

1 + 1 = 2

tzik 
Failure 


1022 
2019/11/18 05:49:58

infinite bool sequence is uncountable

kkob 
Success 


1021 
2019/11/18 05:48:11

Tree addressing is injective

kkob 
Success 

