Submissions

Filter

Task Name
User Name
Judge Status

Found 1379 submissions.

# Time Task Name User Name Status
979 2019/11/06 23:58:13 Product of n consecutive integers is divisible by n! yodvhskd Success
978 2019/11/05 23:55:09 l1 <> l2 if l2 is an odd permutation of l1 yodvhskd Success
977 2019/11/05 12:53:39 n * S m = n + n * m saitou Success
976 2019/11/05 12:53:09 n * S m = n + n * m saitou Success
975 2019/11/05 12:36:33 forall f: bool -> bool, f^3(x) = f(x) saitou Success
974 2019/11/05 12:23:52 1 + 1 = 2 saitou Success
973 2019/11/05 12:22:53 plus_comm saitou Success
972 2019/11/05 12:13:41 plus_assoc saitou Success
971 2019/11/04 22:01:49 plus_comm CoiL Failure
970 2019/11/04 20:54:24 Sum of binomial coefficients yodvhskd Success
969 2019/11/04 20:44:39 Sum of binomial coefficients yodvhskd Failure
968 2019/11/04 20:40:13 Sum of binomial coefficients yodvhskd Failure
967 2019/11/04 04:34:31 Yoneda embedding for preorder ukikagi Success
966 2019/11/03 19:57:59 mult_n_O egashira Success
965 2019/11/03 19:56:29 Double egashira Success
964 2019/11/01 12:33:30 n < m \/ n = m \/ n > m chy Success
963 2019/11/01 11:17:15 Sum of binomial coefficients chy Success
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

>>Show ALL