Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
743 2019/09/22 21:06:10 De Morgan's laws in Coq minaminao Success
742 2019/09/22 21:05:27 Any natural number is expressible in binary notation taisei Failure
741 2019/09/22 21:04:28 De Morgan's laws in Coq minaminao Rejected
740 2019/09/22 21:03:14 Any natural number is expressible in binary notation taisei Failure
739 2019/09/22 21:02:29 Multiplication of non-zero value in F_p is injective sorata Success
738 2019/09/22 20:59:35 Any natural number is expressible in binary notation taisei Failure
737 2019/09/22 20:55:34 De Morgan's laws in Coq Haar Rejected
736 2019/09/22 20:53:08 De Morgan's laws in Coq mkakh Rejected
735 2019/09/22 20:48:03 De Morgan's laws in Coq okaduki Success
734 2019/09/22 20:46:14 Any natural number is expressible in binary notation kaz Success
733 2019/09/22 20:45:54 Multiplication of non-zero value in F_p is injective kozima Success
732 2019/09/22 20:45:21 mult_n_O minaminao Success
731 2019/09/22 20:42:52 De Morgan's laws in Coq okaduki Rejected
730 2019/09/22 20:39:55 Any natural number is expressible in binary notation coorde Success
729 2019/09/22 20:36:34 Any natural number is expressible in binary notation pekempey Success
728 2019/09/22 20:34:50 Any natural number is expressible in binary notation pekempey Failure
727 2019/09/22 20:34:24 Any natural number is expressible in binary notation drafear Success
726 2019/09/22 20:32:58 Multiplication of non-zero value in F_p is injective kkob Success
725 2019/09/22 20:32:37 Any natural number is expressible in binary notation pekempey Failure
724 2019/09/22 20:30:10 Any natural number is expressible in binary notation drafear Failure
723 2019/09/22 20:25:52 Any natural number is expressible in binary notation sorata Success
722 2019/09/22 20:24:48 De Morgan's laws in Coq coorde Success
721 2019/09/22 20:24:44 De Morgan's laws in Coq mttm Success
720 2019/09/22 20:24:35 De Morgan's laws in Coq prime Success
719 2019/09/22 20:24:29 mult_n_O okaduki Success
718 2019/09/22 20:24:22 De Morgan's laws in Coq kaz Success
717 2019/09/22 20:24:21 mult_n_O kaz Success
716 2019/09/22 20:22:37 De Morgan's laws in Coq drafear Success
715 2019/09/22 20:20:25 De Morgan's laws in Coq efk Success
714 2019/09/22 20:20:23 De Morgan's laws in Coq wass88 Success
713 2019/09/22 20:19:12 Any natural number is expressible in binary notation drafear Failure
712 2019/09/22 20:18:25 Any natural number is expressible in binary notation kkob Success
711 2019/09/22 20:15:35 De Morgan's laws in Coq spica314 Success
710 2019/09/22 20:13:32 De Morgan's laws in Coq cympfh Success
709 2019/09/22 20:12:54 Any natural number is expressible in binary notation kozima Success
708 2019/09/22 20:11:41 mult_n_O coorde Success
707 2019/09/22 20:11:15 mult_n_O mttm Success
706 2019/09/22 20:11:00 De Morgan's laws in Coq yamarten Success
705 2019/09/22 20:10:38 mult_n_O efk Success
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

>>Show ALL