| 1187 |
2019/12/04 20:32:59
|
Binary search
|
kozima |
Success |
|
|
| 1186 |
2019/12/04 20:31:47
|
Boolean-hole principle revisited
|
kozima |
Success |
|
|
| 1185 |
2019/12/04 20:31:25
|
Midpoint
|
kozima |
Success |
|
|
| 1184 |
2019/12/04 20:30:51
|
Zero test
|
kozima |
Success |
|
|
| 1183 |
2019/12/04 06:31:07
|
Definitions of injectivity
|
tanakh |
Success |
|
|
| 1182 |
2019/12/04 05:17:13
|
Definitions of injectivity
|
tanakh |
Rejected |
|
|
| 1181 |
2019/12/04 04:37:21
|
Cumulative sum of list
|
tanakh |
Success |
|
|
| 1180 |
2019/12/04 04:36:46
|
Cumulative sum of list
|
tanakh |
Failure |
|
|
| 1179 |
2019/12/04 04:36:28
|
Cumulative sum of list
|
tanakh |
Failure |
|
|
| 1178 |
2019/12/04 02:42:18
|
Grand Garden
|
tzik |
Success |
|
|
| 1177 |
2019/12/02 04:25:54
|
Sum of binomial coefficients
|
tzik |
Success |
|
|
| 1176 |
2019/12/01 15:58:41
|
n < m \/ n = m \/ n > m
|
na4zagin3 |
Success |
|
|
| 1175 |
2019/12/01 15:46:54
|
Three is prime
|
na4zagin3 |
Success |
|
|
| 1174 |
2019/11/30 23:48:24
|
Product of n consecutive integers is divisible by n!
|
kik |
Success |
|
|
| 1173 |
2019/11/30 19:21:16
|
n < m \/ n = m \/ n > m
|
cyan |
Success |
|
|
| 1172 |
2019/11/30 03:27:51
|
n < m \/ n = m \/ n > m
|
kik |
Success |
|
|
| 1171 |
2019/11/30 03:22:43
|
n * S m = n + n * m
|
kik |
Success |
|
|
| 1170 |
2019/11/30 03:05:30
|
1 + 1 = 2
|
kik |
Success |
|
|
| 1169 |
2019/11/30 03:04:00
|
plus_comm
|
kik |
Success |
|
|
| 1168 |
2019/11/30 02:38:10
|
plus_assoc
|
kik |
Success |
|
|
| 1167 |
2019/11/30 02:21:55
|
forall f: bool -> bool, f^3(x) = f(x)
|
kik |
Success |
|
|
| 1166 |
2019/11/30 01:43:19
|
forall f: bool -> bool, f^3(x) = f(x)
|
natsugiri |
Success |
|
|
| 1165 |
2019/11/29 23:24:54
|
Two is not Three
|
na4zagin3 |
Success |
|
|
| 1164 |
2019/11/29 10:59:09
|
n * S m = n + n * m
|
cyan |
Success |
|
|
| 1163 |
2019/11/29 04:57:32
|
forall l: list nat, l @ [0] <> []
|
natsugiri |
Success |
|
|
| 1162 |
2019/11/29 02:18:37
|
plus_assoc
|
natsugiri |
Success |
|
|
| 1161 |
2019/11/28 22:33:57
|
Relative prime squares
|
tzik |
Success |
|
|
| 1160 |
2019/11/28 20:56:50
|
Multiplication of non-zero value in F_p is injective
|
CoiL |
Success |
|
|
| 1159 |
2019/11/28 20:38:33
|
Two is not Three
|
blue_jam |
Failure |
|
|
| 1158 |
2019/11/28 20:38:24
|
Summand of one
|
blue_jam |
Failure |
|
|
| 1157 |
2019/11/28 20:37:32
|
Two is not Three
|
nuip |
Failure |
|
|
| 1156 |
2019/11/28 20:37:29
|
Two is not Three
|
nekodesu |
Failure |
|
|
| 1155 |
2019/11/28 19:11:30
|
Double
|
natsugiri |
Success |
|
|
| 1154 |
2019/11/28 18:52:43
|
forall f: bool -> bool, f^3(x) = f(x)
|
cyan |
Success |
|
|
| 1153 |
2019/11/28 18:35:38
|
1 + 1 = 2
|
cyan |
Success |
|
|
| 1152 |
2019/11/28 18:33:54
|
plus_comm
|
cyan |
Success |
|
|
| 1151 |
2019/11/28 18:11:56
|
n < m \/ n = m \/ n > m
|
tanakh |
Success |
|
|
| 1150 |
2019/11/28 17:43:10
|
plus_assoc
|
cyan |
Success |
|
|
| 1149 |
2019/11/28 17:09:16
|
Three is prime
|
tanakh |
Success |
|
|
| 1148 |
2019/11/28 15:52:15
|
Uniqueness of inequality proofs
|
yodvhskd |
Success |
|
|
| 1147 |
2019/11/28 10:01:37
|
Multiplication of non-zero value in F_p is injective
|
tzik |
Success |
|
|
| 1146 |
2019/11/28 07:27:14
|
Iterated iteration
|
tzik |
Success |
|
|
| 1145 |
2019/11/28 03:22:36
|
unique (unique l) = l
|
natsugiri |
Success |
|
|
| 1144 |
2019/11/27 22:29:22
|
Multiplication in F_2 is idempotent
|
natsugiri |
Success |
|
|
| 1143 |
2019/11/27 22:29:09
|
Multiplication in F_2 is idempotent
|
natsugiri |
Failure |
|
|
| 1142 |
2019/11/27 20:52:25
|
Definitions of injectivity
|
natsugiri |
Success |
|
|
| 1141 |
2019/11/27 16:12:53
|
De Morgan's laws in Coq
|
tanakh |
Success |
|
|
| 1140 |
2019/11/27 16:12:00
|
De Morgan's laws in Coq
|
tanakh |
Rejected |
|
|
| 1139 |
2019/11/27 02:45:47
|
Cumulative sum of list
|
natsugiri |
Success |
|
|
| 1138 |
2019/11/27 01:37:47
|
Two is not Three
|
tzik |
Success |
|
|