| 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 |
|
|
| 1054 |
2019/11/24 20:01:06
|
Constructor is injective
|
kozima |
Success |
|
|
| 1053 |
2019/11/24 20:01:01
|
Constructor is injective
|
yodvhskd |
Success |
|
|
| 1052 |
2019/11/24 17:53:38
|
1 + 1 = 2
|
kano |
Success |
|
|
| 1051 |
2019/11/24 17:46:46
|
plus_comm
|
kano |
Success |
|
|