| 1117 |
2019/11/26 00:03:52
|
forall l: list nat, l @ [0] <> []
|
saitou |
Success |
|
|
| 1116 |
2019/11/25 04:46:29
|
unique (unique l) = l
|
tzik |
Success |
|
|
| 1115 |
2019/11/25 04:32:56
|
unique count
|
tzik |
Success |
|
|
| 1114 |
2019/11/25 03:31:31
|
Double
|
tzik |
Success |
|
|
| 1113 |
2019/11/25 03:30:32
|
n * S m = n + n * m
|
natsugiri |
Success |
|
|
| 1112 |
2019/11/25 03:22:50
|
Yoneda embedding for preorder
|
tanakh |
Success |
|
|
| 1111 |
2019/11/25 03:12:16
|
Any natural number is expressible in binary notation
|
tzik |
Success |
|
|
| 1110 |
2019/11/25 03:09:56
|
Boolean-hole principle
|
tanakh |
Success |
|
|
| 1109 |
2019/11/25 03:05:39
|
mult_n_O
|
tanakh |
Success |
|
|
| 1108 |
2019/11/25 03:03:56
|
mult_n_O
|
tanakh |
Success |
|
|
| 1107 |
2019/11/25 03:02:14
|
gcd(n, n+1) = 1
|
tanakh |
Success |
|
|
| 1106 |
2019/11/25 02:48:46
|
Summand of one
|
tanakh |
Success |
|
|
| 1105 |
2019/11/25 02:46:12
|
Boolean-hole principle
|
tzik |
Success |
|
|
| 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 |
|
|