Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
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
904 2019/10/22 13:25:26 1 + 1 = 2 miya Success
903 2019/10/22 13:20:45 plus_comm miya Success
902 2019/10/22 13:16:02 plus_assoc miya Success
901 2019/10/22 02:47:53 plus_comm yamunaku_ Success
900 2019/10/22 02:31:09 plus_assoc yamunaku_ Success
899 2019/10/22 02:30:46 plus_assoc yamunaku_ Failure
898 2019/10/21 15:20:50 Definitions of injectivity momohatt Success
897 2019/10/21 15:07:05 Identity permutation momohatt Success
896 2019/10/17 20:43:40 Three is prime nuip Failure
895 2019/10/17 20:39:58 count l n = count (rev l) n CoiL Success
894 2019/10/17 20:06:30 Multiplication in F_2 is idempotent CoiL Success

>>Show ALL