Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
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
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

>>Show ALL