Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
1354 2020/01/31 23:54:12 n * S m = n + n * m na4zagin3 Success
1353 2020/01/31 23:54:10 forall f: bool -> bool, f^3(x) = f(x) na4zagin3 Success
1352 2020/01/31 23:54:08 1 + 1 = 2 na4zagin3 Success
1351 2020/01/31 23:54:05 plus_comm na4zagin3 Success
1350 2020/01/31 23:27:47 plus_assoc na4zagin3 Success
1349 2020/01/30 20:15:04 Summand of one nekodesu Failure
1348 2020/01/30 19:54:36 n < m \/ n = m \/ n > m nekodesu Failure
1347 2020/01/24 14:17:34 mult_n_O Eldora Success
1346 2020/01/24 14:11:34 Boolean-hole principle Eldora Success
1345 2020/01/23 20:14:48 n < m \/ n = m \/ n > m nuip Failure
1344 2020/01/23 20:12:40 n < m \/ n = m \/ n > m nuip Failure
1343 2020/01/23 19:42:11 n < m \/ n = m \/ n > m blue_jam Failure
1342 2020/01/20 15:23:26 forall f: bool -> bool, f^3(x) = f(x) Eldora Success
1341 2020/01/20 15:08:24 forall f: bool -> bool, f^3(x) = f(x) Eldora Success
1340 2020/01/20 14:15:29 plus_comm Eldora Success
1339 2020/01/20 13:29:41 plus_assoc Eldora Success
1338 2020/01/16 20:41:29 Any natural number is expressible in binary notation na4zagin3 Failure
1337 2020/01/16 20:37:44 Any natural number is expressible in binary notation nuip Failure
1336 2020/01/16 20:37:35 Multiplication of non-zero value in F_p is injective nuip Failure
1335 2020/01/16 20:31:40 Any natural number is expressible in binary notation blue_jam Failure
1334 2020/01/16 20:06:35 Any natural number is expressible in binary notation nekodesu Failure
1333 2020/01/13 14:38:15 Three is prime kurgm Success
1332 2020/01/13 12:52:06 Boolean-hole principle kurgm Success
1331 2020/01/09 20:04:51 n * S m = n + n * m nekodesu Failure
1330 2020/01/09 20:04:32 forall f: bool -> bool, f^3(x) = f(x) nekodesu Failure
1329 2020/01/09 20:03:43 infinite bool sequence is uncountable blue_jam Failure
1328 2020/01/09 19:59:54 n * S m = n + n * m nuip Failure
1327 2020/01/09 19:53:06 forall f: bool -> bool, f^3(x) = f(x) nuip Failure
1326 2020/01/09 19:39:15 infinite bool sequence is uncountable nuip Failure
1325 2020/01/09 18:54:16 1 + 1 = 2 nekodesu Failure
1324 2020/01/09 18:51:16 plus_comm nekodesu Failure
1323 2020/01/09 18:49:04 plus_assoc nekodesu Failure
1322 2020/01/04 20:34:47 plus_comm Eldora Success
1321 2020/01/04 05:39:42 1 + 1 = 2 Eldora Success
1320 2020/01/04 05:39:23 1 + 1 = 2 Eldora Failure
1319 2019/12/26 23:13:56 Relative prime squares fetburner Success
1318 2019/12/24 17:34:20 Multiplication of non-zero value in F_p is injective fetburner Success
1317 2019/12/22 21:20:17 n < m \/ n = m \/ n > m nmjr31 Success
1316 2019/12/22 11:51:52 l1 <> l2 if l2 is an odd permutation of l1 fetburner Success
1315 2019/12/22 09:05:44 Equivalent two quicksorts fetburner Success
1314 2019/12/22 08:58:19 Equivalent two quicksorts fetburner Failure
1313 2019/12/21 23:12:41 n * S m = n + n * m nmjr31 Success
1312 2019/12/21 22:48:32 forall f: bool -> bool, f^3(x) = f(x) nmjr31 Success
1311 2019/12/21 22:23:29 1 + 1 = 2 nmjr31 Success
1310 2019/12/21 22:21:41 plus_comm nmjr31 Success
1309 2019/12/21 22:02:40 plus_assoc nmjr31 Success
1308 2019/12/21 22:00:49 plus_assoc nmjr31 Failure
1307 2019/12/21 16:31:58 n * S m = n + n * m ry3s Success
1306 2019/12/21 16:10:00 forall f: bool -> bool, f^3(x) = f(x) ry3s Success
1305 2019/12/21 15:58:36 1 + 1 = 2 ry3s Success

>>Show ALL