Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
704 2019/09/22 20:10:05 De Morgan's laws in Coq drafear Rejected
703 2019/09/22 20:09:57 mult_n_O wass88 Success
702 2019/09/22 20:09:28 Any natural number is expressible in binary notation drafear Failure
701 2019/09/22 20:09:13 De Morgan's laws in Coq taisei Success
700 2019/09/22 20:09:02 De Morgan's laws in Coq sorata Success
699 2019/09/22 20:05:48 De Morgan's laws in Coq muratak Success
698 2019/09/22 20:05:37 De Morgan's laws in Coq pekempey Success
697 2019/09/22 20:05:32 mult_n_O drafear Success
696 2019/09/22 20:04:10 mult_n_O Haar Success
695 2019/09/22 20:03:31 De Morgan's laws in Coq kkob Success
694 2019/09/22 20:03:19 mult_n_O taisei Success
693 2019/09/22 20:02:57 mult_n_O sorata Success
692 2019/09/22 20:02:46 De Morgan's laws in Coq kozima Success
691 2019/09/22 20:02:37 mult_n_O yamarten Success
690 2019/09/22 20:02:09 mult_n_O cympfh Success
689 2019/09/22 20:01:22 mult_n_O kozima Success
688 2019/09/22 20:01:21 mult_n_O spica314 Success
687 2019/09/22 20:01:19 mult_n_O kkob Success
686 2019/09/22 20:01:13 mult_n_O prime Success
685 2019/09/22 20:01:08 mult_n_O mkakh Success
684 2019/09/22 20:01:06 mult_n_O muratak Success
683 2019/09/22 20:00:52 mult_n_O cympfh Failure
682 2019/09/22 20:00:27 mult_n_O pekempey Success
681 2019/09/22 14:19:13 Multiplication of non-zero value in F_p is injective kimiyuki Success
680 2019/09/22 14:17:48 Any natural number is expressible in binary notation kimiyuki Success
679 2019/09/22 14:15:39 De Morgan's laws in Coq kimiyuki Success
678 2019/09/22 14:13:25 De Morgan's laws in Coq kimiyuki Failure
677 2019/09/22 14:11:29 mult_n_O kimiyuki Success
676 2019/09/22 04:46:50 plus_assoc kivantium Success
675 2019/09/21 17:08:01 forall l: list nat, l @ [0] <> [] mkakh Success
674 2019/09/21 00:40:22 unique count okaduki Success
673 2019/09/20 22:14:26 n < m \/ n = m \/ n > m anqou Success
672 2019/09/20 19:40:23 forall f: bool -> bool, f^3(x) = f(x) mkakh Success
671 2019/09/20 19:27:55 n * S m = n + n * m mkakh Success
670 2019/09/20 19:17:30 n < m \/ n = m \/ n > m mkakh Success
669 2019/09/20 18:31:36 unique (unique l) = l mkakh Failure
668 2019/09/20 17:29:43 plus_assoc mkakh Success
667 2019/09/20 17:25:12 plus_assoc mkakh Failure
666 2019/09/20 16:59:39 plus_comm mkakh Success
665 2019/09/20 16:36:02 1 + 1 = 2 mkakh Success
664 2019/09/20 16:33:45 gcd(n, n+1) = 1 mkakh Success
663 2019/09/20 12:42:03 n * S m = n + n * m anqou Success
662 2019/09/20 02:44:25 unique (unique l) = l okaduki Success
661 2019/09/20 00:43:05 1 + 1 = 2 hiromi_mi Success
660 2019/09/20 00:09:21 forall f: bool -> bool, f^3(x) = f(x) anqou Success
659 2019/09/19 23:54:47 1 + 1 = 2 anqou Success
658 2019/09/19 20:14:12 n * S m = n + n * m youjotape Success
657 2019/09/19 19:22:45 forall f: bool -> bool, f^3(x) = f(x) youjotape Success
656 2019/09/19 15:27:11 1 + 1 = 2 youjotape Success
655 2019/09/19 15:00:40 plus_comm youjotape Success

>>Show ALL