Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
404 2019/08/29 01:32:41 forall f: bool -> bool, f^3(x) = f(x) muratak Success
403 2019/08/29 01:32:07 forall f: bool -> bool, f^3(x) = f(x) muratak Failure
402 2019/08/29 01:22:38 plus_comm muratak Success
401 2019/08/29 01:19:17 plus_assoc muratak Success
400 2019/08/29 01:17:37 1 + 1 = 2 muratak Success
399 2019/08/28 02:19:34 1 + 1 = 2 asi1024 Success
398 2019/08/27 23:13:17 n < m \/ n = m \/ n > m taisei Success
397 2019/08/27 23:12:06 Product of n consecutive integers is divisible by n! taisei Success
396 2019/08/27 18:19:28 Product of n consecutive integers is divisible by n! kkob Success
395 2019/08/27 16:41:13 forall l: list nat, l @ [0] <> [] coorde Success
394 2019/08/27 16:40:19 forall l: list nat, l @ [0] <> [] coorde Success
393 2019/08/27 16:34:11 n < m \/ n = m \/ n > m coorde Success
392 2019/08/27 12:23:49 Equivalent two quicksorts kkob Success
391 2019/08/27 07:22:52 forall l: list nat, l @ [0] <> [] omochana2 Success
390 2019/08/27 00:56:30 forall l: list nat, l @ [0] <> [] uesugi Success
389 2019/08/27 00:55:05 forall l: list nat, l @ [0] <> [] uesugi Failure
388 2019/08/26 22:05:31 n * S m = n + n * m coorde Success
387 2019/08/26 21:56:04 forall f: bool -> bool, f^3(x) = f(x) coorde Success
386 2019/08/26 21:50:07 plus_comm coorde Success
385 2019/08/26 21:49:20 n < m \/ n = m \/ n > m cympfh Success
384 2019/08/26 21:39:41 n * S m = n + n * m cympfh Success
383 2019/08/26 21:30:10 n < m \/ n = m \/ n > m chiguri Success
382 2019/08/26 21:29:56 forall f: bool -> bool, f^3(x) = f(x) cympfh Success
381 2019/08/26 21:28:26 forall f: bool -> bool, f^3(x) = f(x) cympfh Failure
380 2019/08/26 21:16:39 n * S m = n + n * m chiguri Success
379 2019/08/26 21:10:05 forall f: bool -> bool, f^3(x) = f(x) cympfh Failure
378 2019/08/26 21:09:55 1 + 1 = 2 cympfh Success
377 2019/08/26 21:03:24 forall f: bool -> bool, f^3(x) = f(x) chiguri Success
376 2019/08/26 20:59:40 1 + 1 = 2 chiguri Success
375 2019/08/26 20:59:29 plus_comm cympfh Success
374 2019/08/26 20:58:31 plus_comm chiguri Success
373 2019/08/26 20:56:24 plus_assoc coorde Success
372 2019/08/26 20:50:10 plus_assoc chiguri Success
371 2019/08/26 20:49:02 plus_assoc chiguri Failure
370 2019/08/26 20:34:32 1 + 1 = 2 coorde Success
369 2019/08/26 20:22:31 plus_comm drafear Success
368 2019/08/26 20:21:59 plus_comm drafear Failure
367 2019/08/26 19:43:13 plus_assoc cympfh Success
366 2019/08/26 19:42:32 plus_assoc cympfh Failure
365 2019/08/26 18:58:12 plus_comm mttm Success
364 2019/08/26 18:20:38 Cumulative sum of list sorata Success
363 2019/08/26 14:30:09 forall l: list nat, l @ [0] <> [] heno239 Success
362 2019/08/26 12:30:16 l1 <> l2 if l2 is an odd permutation of l1 kkob Success
361 2019/08/26 10:22:23 n < m \/ n = m \/ n > m a_happin Success
360 2019/08/26 08:57:52 plus_comm spica314 Success
359 2019/08/26 08:32:58 plus_assoc spica314 Success
358 2019/08/26 04:20:30 forall l: list nat, l @ [0] <> [] pekempey Success
357 2019/08/26 03:52:57 l1 <> l2 if l2 is an odd permutation of l1 suibaka Success
356 2019/08/26 03:51:12 l1 <> l2 if l2 is an odd permutation of l1 suibaka Failure
355 2019/08/26 03:48:10 l1 <> l2 if l2 is an odd permutation of l1 suibaka Failure

>>Show ALL