Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
1043 2019/11/22 01:53:49 Definitions of injectivity tzik Success
1042 2019/11/21 21:09:59 Summand of one tzik Success
1041 2019/11/21 20:39:21 Cumulative sum of list tzik Success
1040 2019/11/21 20:08:40 Multiplication in F_2 is idempotent nekodesu Failure
1039 2019/11/21 20:06:02 forall l: list nat, l @ [0] <> [] tzik Success
1038 2019/11/21 19:55:59 Product of n consecutive integers is divisible by n! tzik Success
1037 2019/11/21 19:54:29 Product of n consecutive integers is divisible by n! tzik Failure
1036 2019/11/21 19:53:42 n < m \/ n = m \/ n > m tzik Success
1035 2019/11/21 00:10:55 Relative prime squares kkob Success
1034 2019/11/20 20:27:36 n * S m = n + n * m tanakh Success
1033 2019/11/20 20:10:26 plus_comm tanakh Success
1032 2019/11/20 19:50:06 plus_assoc tanakh Success
1031 2019/11/20 19:32:16 forall f: bool -> bool, f^3(x) = f(x) tanakh Success
1030 2019/11/20 19:09:36 1 + 1 = 2 tanakh Success
1029 2019/11/20 18:56:43 1 + 1 = 2 a_kawashiro Success
1028 2019/11/19 02:48:05 n * S m = n + n * m tzik Success
1027 2019/11/19 02:33:59 forall f: bool -> bool, f^3(x) = f(x) tzik Success
1026 2019/11/18 20:57:49 plus_comm tzik Success
1025 2019/11/18 20:55:03 plus_assoc tzik Success
1024 2019/11/18 20:53:25 1 + 1 = 2 tzik Success
1023 2019/11/18 20:52:58 1 + 1 = 2 tzik Failure
1022 2019/11/18 05:49:58 infinite bool sequence is uncountable kkob Success
1021 2019/11/18 05:48:11 Tree addressing is injective kkob Success
1020 2019/11/18 05:46:25 Constructor is injective kkob Success
1019 2019/11/14 20:34:43 gcd(n, n+1) = 1 blue_jam Failure
1018 2019/11/14 20:33:02 gcd(n, n+1) = 1 nuip Failure
1017 2019/11/11 01:23:21 Uniqueness of inequality proofs yodvhskd Success
1016 2019/11/10 22:21:39 De Morgan's laws in Coq yodvhskd Success
1015 2019/11/10 22:15:03 mult_n_O yodvhskd Success
1014 2019/11/10 22:13:42 n * S m = n + n * m yodvhskd Success
1013 2019/11/10 22:11:58 Summand of one yodvhskd Success
1012 2019/11/10 22:07:56 n < m \/ n = m \/ n > m yodvhskd Success
1011 2019/11/10 22:07:01 Definitions of injectivity yodvhskd Success
1010 2019/11/10 21:59:54 Any natural number is expressible in binary notation yodvhskd Success
1009 2019/11/10 21:48:52 Any natural number is expressible in binary notation yodvhskd Rejected
1008 2019/11/10 21:04:29 Multiplication of non-zero value in F_p is injective yodvhskd Success
1007 2019/11/10 19:19:56 Grand Garden yodvhskd Success
1006 2019/11/10 16:49:26 Identity permutation yodvhskd Success
1005 2019/11/10 03:38:44 Equivalent two quicksorts yodvhskd Success
1004 2019/11/09 22:00:05 n < m \/ n = m \/ n > m lo48576 Success
1003 2019/11/09 20:22:48 Three is prime lo48576 Success
1002 2019/11/09 15:52:44 Boolean-hole principle lo48576 Success
1001 2019/11/09 15:49:14 Boolean-hole principle lo48576 Success
1000 2019/11/09 04:05:18 De Morgan's laws in Coq lo48576 Success
999 2019/11/09 02:07:44 mult_n_O lo48576 Success
998 2019/11/09 02:00:36 gcd(n, n+1) = 1 lo48576 Success
997 2019/11/08 03:36:46 Summand of one lo48576 Success
996 2019/11/08 02:54:03 forall l: list nat, l @ [0] <> [] lo48576 Success
995 2019/11/08 02:50:23 forall l: list nat, l @ [0] <> [] lo48576 Failure
994 2019/11/07 23:16:42 n * S m = n + n * m lo48576 Success

>>Show ALL