Submissions

Filter

Task Name
User Name
Judge Status

Found 1712 submissions.

# Time Task Name User Name Status
962 2019/11/01 11:16:29 Sum of binomial coefficients chy Failure
961 2019/11/01 11:15:32 Sum of binomial coefficients chy Failure
960 2019/10/31 23:22:12 Sum of binomial coefficients nuip Failure
959 2019/10/31 22:39:21 Double chy Success
958 2019/10/31 22:14:45 Yoneda embedding for preorder chy Success
957 2019/10/31 20:38:57 Identity permutation CoiL Success
956 2019/10/31 20:16:52 1 + 1 = 2 sh_mug Success
955 2019/10/31 20:12:24 plus_comm sh_mug Success
954 2019/10/31 19:32:56 plus_assoc sh_mug Success
953 2019/10/31 19:23:02 plus_assoc sh_mug Failure
952 2019/10/30 17:23:46 Double yodvhskd Success
951 2019/10/30 17:00:58 Yoneda embedding for preorder yodvhskd Success
950 2019/10/29 11:04:04 Uniqueness of inequality proofs splatoon_suki Success
949 2019/10/29 10:58:49 Uniqueness of inequality proofs splatoon_suki Success
948 2019/10/28 13:25:53 Double mttm Success
947 2019/10/28 12:21:35 Yoneda embedding for preorder mttm Success
946 2019/10/26 22:02:02 Yoneda embedding for preorder momohatt Success
945 2019/10/26 19:24:59 Double na4zagin3 Success
944 2019/10/26 18:47:08 Sum of binomial coefficients kaz Success
943 2019/10/26 18:43:06 Sum of binomial coefficients kkob Success
942 2019/10/26 18:37:32 Yoneda embedding for preorder spica314 Success
941 2019/10/26 18:36:28 Double yamarten Success
940 2019/10/26 18:30:10 Yoneda embedding for preorder yamarten Success
939 2019/10/26 18:15:52 Double miya Success
938 2019/10/26 18:11:37 Double pekempey Success
937 2019/10/26 18:07:24 Yoneda embedding for preorder yamarten Failure
936 2019/10/26 18:07:02 Double kaz Success
935 2019/10/26 18:06:08 Yoneda embedding for preorder miya Success
934 2019/10/26 18:05:26 Yoneda embedding for preorder miya Failure
933 2019/10/26 18:04:36 Yoneda embedding for preorder na4zagin3 Success
932 2019/10/26 18:03:48 Yoneda embedding for preorder kaz Success
931 2019/10/26 18:03:42 Double kkob Success
930 2019/10/26 18:03:05 Yoneda embedding for preorder pekempey Success
929 2019/10/26 18:02:31 Yoneda embedding for preorder pekempey Failure
928 2019/10/26 18:02:06 Yoneda embedding for preorder kkob Success
927 2019/10/26 17:39:44 Boolean-hole principle na4zagin3 Failure
926 2019/10/25 22:21:27 Cumulative sum of list na4zagin3 Success
925 2019/10/25 22:07:55 Cumulative sum of list na4zagin3 Failure
924 2019/10/25 21:39:40 Uniqueness of inequality proofs kozima Rejected
923 2019/10/25 18:33:56 Uniqueness of inequality proofs kozima Success
922 2019/10/25 18:29:26 Sum of binomial coefficients kozima Success
921 2019/10/25 18:26:53 Double kozima Success
920 2019/10/25 18:20:43 Yoneda embedding for preorder kozima Success
919 2019/10/24 20:49:48 Cumulative sum of list nuip Failure
918 2019/10/24 19:13:57 forall l: list nat, l @ [0] <> [] nekodesu Failure
917 2019/10/23 23:52:21 n < m \/ n = m \/ n > m miya Success
916 2019/10/22 16:34:00 Cumulative sum of list miya Success
915 2019/10/22 15:57:16 Three is prime miya Success
914 2019/10/22 15:44:07 Boolean-hole principle miya Success
913 2019/10/22 15:39:23 De Morgan's laws in Coq miya Success

>>Show ALL