1077 
2019/11/24 20:26:35

Tree addressing is injective

pekempey 
Success 


1076 
2019/11/24 20:24:34

Tree addressing is injective

saitou 
Success 


1075 
2019/11/24 20:21:56

Tree addressing is injective

chy 
Success 


1074 
2019/11/24 20:20:05

infinite bool sequence is uncountable

sorata 
Success 


1073 
2019/11/24 20:18:56

Tree addressing is injective

chy 
Failure 


1072 
2019/11/24 20:18:44

infinite bool sequence is uncountable

kaz 
Success 


1071 
2019/11/24 20:16:26

infinite bool sequence is uncountable

yodvhskd 
Success 


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 

