Submissions

Filter

Task Name
User Name
Judge Status

Found 1380 submissions.

# Time Task Name User Name Status
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
893 2019/10/17 19:37:43 Cumulative sum of list CoiL Success
892 2019/10/17 19:36:37 Cumulative sum of list CoiL Success
891 2019/10/12 19:32:42 Boolean-hole principle nikeya Success
890 2019/10/10 23:35:45 plus_assoc JP3BGY Success
889 2019/10/10 19:58:25 Definitions of injectivity CoiL Success
888 2019/10/10 16:38:33 1 + 1 = 2 ta12ka7shi Success
887 2019/10/09 16:10:53 Two is not Three CoiL Success
886 2019/10/09 16:09:22 Two is not Three CoiL Failure
885 2019/10/08 13:48:20 Boolean-hole principle spica314 Success
884 2019/10/08 11:58:14 unique count coorde Success
883 2019/10/07 15:53:55 Any natural number is expressible in binary notation momohatt Success
882 2019/10/07 15:51:57 Any natural number is expressible in binary notation momohatt Failure
881 2019/10/07 15:51:00 Any natural number is expressible in binary notation momohatt Failure

>>Show ALL