Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
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
912 2019/10/22 15:28:46 mult_n_O miya Success
911 2019/10/22 15:27:15 gcd(n, n+1) = 1 miya Success
910 2019/10/22 15:18:35 Summand of one miya Success
909 2019/10/22 15:10:09 forall l: list nat, l @ [0] <> [] miya Success
908 2019/10/22 15:00:56 n < m \/ n = m \/ n > m egashira Success
907 2019/10/22 14:59:53 n < m \/ n = m \/ n > m egashira Success
906 2019/10/22 14:07:00 n * S m = n + n * m miya Success
905 2019/10/22 13:45:56 forall f: bool -> bool, f^3(x) = f(x) miya Success

>>Show ALL