Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
1104 2019/11/25 02:43:36 De Morgan's laws in Coq tzik Success
1103 2019/11/25 02:20:14 mult_n_O tzik Success
1102 2019/11/25 02:06:26 Three is prime tzik Success
1101 2019/11/25 01:56:33 forall l: list nat, l @ [0] <> [] tanakh Success
1100 2019/11/25 00:23:16 Relative prime squares kkob Success
1099 2019/11/24 23:51:36 Yoneda embedding for preorder tzik Success
1098 2019/11/24 22:59:09 plus_comm lion Success
1097 2019/11/24 22:56:17 Tree addressing is injective mttm Success
1096 2019/11/24 22:50:59 plus_comm lion Failure
1095 2019/11/24 22:32:09 plus_comm lion Failure
1094 2019/11/24 22:15:14 1 + 1 = 2 lion Success
1093 2019/11/24 22:14:40 1 + 1 = 2 lion Failure
1092 2019/11/24 21:53:22 Tree addressing is injective yamarten Success
1091 2019/11/24 21:36:45 Relative prime squares kozima Success
1090 2019/11/24 21:35:09 1 + 1 = 2 lion Failure
1089 2019/11/24 21:18:11 infinite bool sequence is uncountable saitou Success
1088 2019/11/24 21:11:02 infinite bool sequence is uncountable hirosegolf Success
1087 2019/11/24 21:07:27 infinite bool sequence is uncountable hirosegolf Failure
1086 2019/11/24 21:04:22 infinite bool sequence is uncountable hirosegolf Failure
1085 2019/11/24 21:01:11 Constructor is injective tanakh Success
1084 2019/11/24 21:00:48 Constructor is injective tanakh Failure
1083 2019/11/24 20:49:38 Tree addressing is injective hirosegolf Success
1082 2019/11/24 20:46:12 infinite bool sequence is uncountable tzik Success
1081 2019/11/24 20:42:17 infinite bool sequence is uncountable na4zagin3 Success
1080 2019/11/24 20:35:26 infinite bool sequence is uncountable na4zagin3 Failure
1079 2019/11/24 20:33:10 infinite bool sequence is uncountable chy Success
1078 2019/11/24 20:32:29 Tree addressing is injective tzik Success
1077 2019/11/24 20:26:35 Tree addressing is injective pekempey Success
1076 2019/11/24 20:24:34 Tree addressing is injective saitou Success
1075 2019/11/24 20:21:56 Tree addressing is injective chy Success
1074 2019/11/24 20:20:05 infinite bool sequence is uncountable sorata Success
1073 2019/11/24 20:18:56 Tree addressing is injective chy Failure
1072 2019/11/24 20:18:44 infinite bool sequence is uncountable kaz Success
1071 2019/11/24 20:16:26 infinite bool sequence is uncountable yodvhskd Success
1070 2019/11/24 20:15:29 Tree addressing is injective na4zagin3 Success
1069 2019/11/24 20:13:48 infinite bool sequence is uncountable kozima Success
1068 2019/11/24 20:11:27 Tree addressing is injective sorata Success
1067 2019/11/24 20:11:21 Constructor is injective yamarten Success
1066 2019/11/24 20:10:35 Tree addressing is injective kozima Success
1065 2019/11/24 20:09:43 Tree addressing is injective kaz Success
1064 2019/11/24 20:09:41 Constructor is injective kaz Success
1063 2019/11/24 20:09:22 Constructor is injective mttm Success
1062 2019/11/24 20:09:21 Tree addressing is injective yodvhskd Success
1061 2019/11/24 20:05:09 Constructor is injective hirosegolf Success
1060 2019/11/24 20:03:30 Constructor is injective saitou Success
1059 2019/11/24 20:03:05 Constructor is injective pekempey Success
1058 2019/11/24 20:03:02 Constructor is injective tzik Success
1057 2019/11/24 20:02:16 Constructor is injective na4zagin3 Success
1056 2019/11/24 20:01:44 Constructor is injective sorata Success
1055 2019/11/24 20:01:25 Constructor is injective chy Success

>>Show ALL