1113 
2019/11/25 03:30:32

n * S m = n + n * m

natsugiri 
Success 


1112 
2019/11/25 03:22:50

Yoneda embedding for preorder

tanakh 
Success 


1111 
2019/11/25 03:12:16

Any natural number is expressible in binary notation

tzik 
Success 


1110 
2019/11/25 03:09:56

Booleanhole principle

tanakh 
Success 


1109 
2019/11/25 03:05:39

mult_n_O

tanakh 
Success 


1108 
2019/11/25 03:03:56

mult_n_O

tanakh 
Success 


1107 
2019/11/25 03:02:14

gcd(n, n+1) = 1

tanakh 
Success 


1106 
2019/11/25 02:48:46

Summand of one

tanakh 
Success 


1105 
2019/11/25 02:46:12

Booleanhole principle

tzik 
Success 


1104 
2019/11/25 02:43:36

De Morgan's laws in Coq

tzik 
Success 


1103 
2019/11/25 02:20:14

mult_n_O

tzik 
Success 


1102 
2019/11/25 02:06:26

Three is prime

tzik 
Success 


1101 
2019/11/25 01:56:33

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

tanakh 
Success 


1100 
2019/11/25 00:23:16

Relative prime squares

kkob 
Success 


1099 
2019/11/24 23:51:36

Yoneda embedding for preorder

tzik 
Success 


1098 
2019/11/24 22:59:09

plus_comm

lion 
Success 


1097 
2019/11/24 22:56:17

Tree addressing is injective

mttm 
Success 


1096 
2019/11/24 22:50:59

plus_comm

lion 
Failure 


1095 
2019/11/24 22:32:09

plus_comm

lion 
Failure 


1094 
2019/11/24 22:15:14

1 + 1 = 2

lion 
Success 


1093 
2019/11/24 22:14:40

1 + 1 = 2

lion 
Failure 


1092 
2019/11/24 21:53:22

Tree addressing is injective

yamarten 
Success 


1091 
2019/11/24 21:36:45

Relative prime squares

kozima 
Success 


1090 
2019/11/24 21:35:09

1 + 1 = 2

lion 
Failure 


1089 
2019/11/24 21:18:11

infinite bool sequence is uncountable

saitou 
Success 


1088 
2019/11/24 21:11:02

infinite bool sequence is uncountable

hirosegolf 
Success 


1087 
2019/11/24 21:07:27

infinite bool sequence is uncountable

hirosegolf 
Failure 


1086 
2019/11/24 21:04:22

infinite bool sequence is uncountable

hirosegolf 
Failure 


1085 
2019/11/24 21:01:11

Constructor is injective

tanakh 
Success 


1084 
2019/11/24 21:00:48

Constructor is injective

tanakh 
Failure 


1083 
2019/11/24 20:49:38

Tree addressing is injective

hirosegolf 
Success 


1082 
2019/11/24 20:46:12

infinite bool sequence is uncountable

tzik 
Success 


1081 
2019/11/24 20:42:17

infinite bool sequence is uncountable

na4zagin3 
Success 


1080 
2019/11/24 20:35:26

infinite bool sequence is uncountable

na4zagin3 
Failure 


1079 
2019/11/24 20:33:10

infinite bool sequence is uncountable

chy 
Success 


1078 
2019/11/24 20:32:29

Tree addressing is injective

tzik 
Success 


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 

