Submissions

Filter

Task Name
User Name
Judge Status

Found 1869 submissions.

# Time Task Name User Name Status
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
880 2019/10/07 15:49:51 Any natural number is expressible in binary notation momohatt Failure
879 2019/10/07 15:36:46 Multiplication of non-zero value in F_p is injective momohatt Success
878 2019/10/07 14:07:48 Three is prime mttm Success
877 2019/10/07 09:18:20 Two is not Three splatoon_suki Success
876 2019/10/06 22:40:11 Three is prime pekempey Success
875 2019/10/06 22:29:50 Two is not Three pekempey Success
874 2019/10/06 22:14:52 Iterated iteration kaz Success
873 2019/10/06 22:06:44 Iterated iteration kaz Success
872 2019/10/06 22:03:51 Iterated iteration coorde Success
871 2019/10/06 21:41:56 Iterated iteration pekempey Success
870 2019/10/06 21:41:43 Iterated iteration coorde Rejected

>>Show ALL