Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
804 2019/10/02 18:15:34 plus_comm nikeya Success
803 2019/10/02 18:14:45 plus_comm nikeya Failure
802 2019/10/02 17:24:14 plus_assoc nikeya Success
801 2019/10/01 02:53:35 plus_assoc test Success
800 2019/09/27 19:48:06 mult_n_O yishibashi Success
799 2019/09/27 19:21:56 n * S m = n + n * m yishibashi Success
798 2019/09/27 19:10:58 plus_comm yishibashi Success
797 2019/09/27 18:48:04 plus_assoc yishibashi Success
796 2019/09/27 18:24:22 Summand of one yishibashi Success
795 2019/09/26 13:40:51 unique (unique l) = l coorde Success
794 2019/09/26 13:38:55 unique (unique l) = l coorde Failure
793 2019/09/25 15:05:16 Any natural number is expressible in binary notation kurgm Success
792 2019/09/25 13:58:23 De Morgan's laws in Coq kurgm Success
791 2019/09/25 13:40:48 mult_n_O kurgm Success
790 2019/09/25 00:45:20 forall l: list nat, l @ [0] <> [] kkob Success
789 2019/09/25 00:44:43 n < m \/ n = m \/ n > m kkob Success
788 2019/09/25 00:44:08 n * S m = n + n * m kkob Success
787 2019/09/25 00:42:54 forall f: bool -> bool, f^3(x) = f(x) kkob Success
786 2019/09/25 00:40:39 1 + 1 = 2 kkob Success
785 2019/09/25 00:39:22 plus_comm kkob Success
784 2019/09/24 09:14:21 count l n = count (rev l) n coorde Success
783 2019/09/24 09:04:50 count l n = count (rev l) n coorde Failure
782 2019/09/24 08:48:07 gcd(n, n+1) = 1 coorde Success
781 2019/09/23 14:52:40 forall f: bool -> bool, f^3(x) = f(x) melan Success
780 2019/09/23 12:55:30 De Morgan's laws in Coq mkakh Success
779 2019/09/23 04:26:51 Multiplication of non-zero value in F_p is injective kkob Success
778 2019/09/23 04:20:43 plus_assoc kkob Success
777 2019/09/23 04:20:40 plus_assoc kkob Success
776 2019/09/23 04:20:36 plus_assoc kkob Success
775 2019/09/23 04:20:28 plus_assoc kkob Success
774 2019/09/23 04:19:18 plus_assoc kkob Success
773 2019/09/23 04:18:55 plus_assoc kkob Success
772 2019/09/23 03:13:17 plus_assoc kkob Success
771 2019/09/23 03:02:18 plus_assoc kkob Success
770 2019/09/23 02:59:02 plus_assoc kkob Success
769 2019/09/23 02:50:15 plus_assoc kkob Success
768 2019/09/23 02:33:24 1 + 1 = 2 melan Success
767 2019/09/23 02:32:20 1 + 1 = 2 melan Failure
766 2019/09/23 00:17:36 mult_n_O kozima Success
765 2019/09/23 00:00:10 Multiplication of non-zero value in F_p is injective muratak Success
764 2019/09/22 23:59:21 Multiplication of non-zero value in F_p is injective muratak Failure
763 2019/09/22 22:37:07 Multiplication of non-zero value in F_p is injective kkob Success
762 2019/09/22 22:01:31 Multiplication of non-zero value in F_p is injective prime Success
761 2019/09/22 21:56:45 Multiplication of non-zero value in F_p is injective drafear Failure
760 2019/09/22 21:56:02 Multiplication of non-zero value in F_p is injective pekempey Success
759 2019/09/22 21:54:35 De Morgan's laws in Coq mkakh Rejected
758 2019/09/22 21:49:06 Any natural number is expressible in binary notation spica314 Success
757 2019/09/22 21:47:16 Any natural number is expressible in binary notation yamarten Success
756 2019/09/22 21:46:21 Any natural number is expressible in binary notation muratak Success
755 2019/09/22 21:46:10 Any natural number is expressible in binary notation yamarten Failure

>>Show ALL