| 967 |
2019/11/04 04:34:31
|
Yoneda embedding for preorder
|
ukikagi |
Success |
|
|
| 966 |
2019/11/03 19:57:59
|
mult_n_O
|
egashira |
Success |
|
|
| 965 |
2019/11/03 19:56:29
|
Double
|
egashira |
Success |
|
|
| 964 |
2019/11/01 12:33:30
|
n < m \/ n = m \/ n > m
|
chy |
Success |
|
|
| 963 |
2019/11/01 11:17:15
|
Sum of binomial coefficients
|
chy |
Success |
|
|
| 962 |
2019/11/01 11:16:29
|
Sum of binomial coefficients
|
chy |
Failure |
|
|
| 961 |
2019/11/01 11:15:32
|
Sum of binomial coefficients
|
chy |
Failure |
|
|
| 960 |
2019/10/31 23:22:12
|
Sum of binomial coefficients
|
nuip |
Failure |
|
|
| 959 |
2019/10/31 22:39:21
|
Double
|
chy |
Success |
|
|
| 958 |
2019/10/31 22:14:45
|
Yoneda embedding for preorder
|
chy |
Success |
|
|
| 957 |
2019/10/31 20:38:57
|
Identity permutation
|
CoiL |
Success |
|
|
| 956 |
2019/10/31 20:16:52
|
1 + 1 = 2
|
sh_mug |
Success |
|
|
| 955 |
2019/10/31 20:12:24
|
plus_comm
|
sh_mug |
Success |
|
|
| 954 |
2019/10/31 19:32:56
|
plus_assoc
|
sh_mug |
Success |
|
|
| 953 |
2019/10/31 19:23:02
|
plus_assoc
|
sh_mug |
Failure |
|
|
| 952 |
2019/10/30 17:23:46
|
Double
|
yodvhskd |
Success |
|
|
| 951 |
2019/10/30 17:00:58
|
Yoneda embedding for preorder
|
yodvhskd |
Success |
|
|
| 950 |
2019/10/29 11:04:04
|
Uniqueness of inequality proofs
|
splatoon_suki |
Success |
|
|
| 949 |
2019/10/29 10:58:49
|
Uniqueness of inequality proofs
|
splatoon_suki |
Success |
|
|
| 948 |
2019/10/28 13:25:53
|
Double
|
mttm |
Success |
|
|
| 947 |
2019/10/28 12:21:35
|
Yoneda embedding for preorder
|
mttm |
Success |
|
|
| 946 |
2019/10/26 22:02:02
|
Yoneda embedding for preorder
|
momohatt |
Success |
|
|
| 945 |
2019/10/26 19:24:59
|
Double
|
na4zagin3 |
Success |
|
|
| 944 |
2019/10/26 18:47:08
|
Sum of binomial coefficients
|
kaz |
Success |
|
|
| 943 |
2019/10/26 18:43:06
|
Sum of binomial coefficients
|
kkob |
Success |
|
|
| 942 |
2019/10/26 18:37:32
|
Yoneda embedding for preorder
|
spica314 |
Success |
|
|
| 941 |
2019/10/26 18:36:28
|
Double
|
yamarten |
Success |
|
|
| 940 |
2019/10/26 18:30:10
|
Yoneda embedding for preorder
|
yamarten |
Success |
|
|
| 939 |
2019/10/26 18:15:52
|
Double
|
miya |
Success |
|
|
| 938 |
2019/10/26 18:11:37
|
Double
|
pekempey |
Success |
|
|
| 937 |
2019/10/26 18:07:24
|
Yoneda embedding for preorder
|
yamarten |
Failure |
|
|
| 936 |
2019/10/26 18:07:02
|
Double
|
kaz |
Success |
|
|
| 935 |
2019/10/26 18:06:08
|
Yoneda embedding for preorder
|
miya |
Success |
|
|
| 934 |
2019/10/26 18:05:26
|
Yoneda embedding for preorder
|
miya |
Failure |
|
|
| 933 |
2019/10/26 18:04:36
|
Yoneda embedding for preorder
|
na4zagin3 |
Success |
|
|
| 932 |
2019/10/26 18:03:48
|
Yoneda embedding for preorder
|
kaz |
Success |
|
|
| 931 |
2019/10/26 18:03:42
|
Double
|
kkob |
Success |
|
|
| 930 |
2019/10/26 18:03:05
|
Yoneda embedding for preorder
|
pekempey |
Success |
|
|
| 929 |
2019/10/26 18:02:31
|
Yoneda embedding for preorder
|
pekempey |
Failure |
|
|
| 928 |
2019/10/26 18:02:06
|
Yoneda embedding for preorder
|
kkob |
Success |
|
|
| 927 |
2019/10/26 17:39:44
|
Boolean-hole principle
|
na4zagin3 |
Failure |
|
|
| 926 |
2019/10/25 22:21:27
|
Cumulative sum of list
|
na4zagin3 |
Success |
|
|
| 925 |
2019/10/25 22:07:55
|
Cumulative sum of list
|
na4zagin3 |
Failure |
|
|
| 924 |
2019/10/25 21:39:40
|
Uniqueness of inequality proofs
|
kozima |
Rejected |
|
|
| 923 |
2019/10/25 18:33:56
|
Uniqueness of inequality proofs
|
kozima |
Success |
|
|
| 922 |
2019/10/25 18:29:26
|
Sum of binomial coefficients
|
kozima |
Success |
|
|
| 921 |
2019/10/25 18:26:53
|
Double
|
kozima |
Success |
|
|
| 920 |
2019/10/25 18:20:43
|
Yoneda embedding for preorder
|
kozima |
Success |
|
|
| 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 |
|
|