Submissions

Filter

Task Name
User Name
Judge Status

Found 1712 submissions.

# Time Task Name User Name Status
1212 2019/12/08 20:30:40 Zero test chy Success
1211 2019/12/08 20:29:42 Midpoint kik Success
1210 2019/12/08 20:22:49 Zero test mttm Success
1209 2019/12/08 20:19:22 Boolean-hole principle revisited kkob Success
1208 2019/12/08 20:11:47 Midpoint kkob Success
1207 2019/12/08 20:09:50 Zero test kik Success
1206 2019/12/08 20:06:56 Zero test kaz Success
1205 2019/12/08 20:06:55 Zero test kkob Success
1204 2019/12/08 20:05:45 Zero test na4zagin3 Success
1203 2019/12/08 20:03:56 Zero test yodvhskd Success
1202 2019/12/08 09:58:50 Identity permutation tanakh Success
1201 2019/12/08 09:21:37 Product of n consecutive integers is divisible by n! tanakh Success
1200 2019/12/08 03:24:24 infinite bool sequence is uncountable tanakh Success
1199 2019/12/08 03:10:19 Tree addressing is injective tanakh Success
1198 2019/12/08 00:18:39 Double tanakh Success
1197 2019/12/08 00:11:10 Two is not Three tanakh Success
1196 2019/12/07 23:45:27 Any natural number is expressible in binary notation tanakh Success
1195 2019/12/07 21:16:45 unique count tanakh Success
1194 2019/12/05 07:33:18 unique (unique l) = l tanakh Success
1193 2019/12/05 07:31:08 unique (unique l) = l tanakh Success
1192 2019/12/04 21:40:19 Multiplication in F_2 is idempotent tanakh Success
1191 2019/12/04 21:39:48 Multiplication in F_2 is idempotent tanakh Failure
1190 2019/12/04 21:35:02 count l n = count (rev l) n tanakh Success
1189 2019/12/04 21:34:27 count l n = count (rev l) n tanakh Failure
1188 2019/12/04 21:33:39 count l n = count (rev l) n tanakh Failure
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

>>Show ALL