987 |
2019/11/07 19:46:45
|
Multiplication in F_2 is idempotent
|
yodvhskd |
Success |
|
|
986 |
2019/11/07 19:33:35
|
Cumulative sum of list
|
nekodesu |
Failure |
|
|
985 |
2019/11/07 19:22:49
|
forall f: bool -> bool, f^3(x) = f(x)
|
lo48576 |
Success |
|
|
984 |
2019/11/07 17:36:01
|
plus_comm
|
lo48576 |
Success |
|
|
983 |
2019/11/07 17:11:20
|
1 + 1 = 2
|
lo48576 |
Success |
|
|
982 |
2019/11/07 16:58:51
|
plus_comm
|
lo48576 |
Success |
|
|
981 |
2019/11/07 15:33:17
|
plus_assoc
|
lo48576 |
Success |
|
|
980 |
2019/11/07 15:27:50
|
plus_assoc
|
lo48576 |
Success |
|
|
979 |
2019/11/06 23:58:13
|
Product of n consecutive integers is divisible by n!
|
yodvhskd |
Success |
|
|
978 |
2019/11/05 23:55:09
|
l1 <> l2 if l2 is an odd permutation of l1
|
yodvhskd |
Success |
|
|
977 |
2019/11/05 12:53:39
|
n * S m = n + n * m
|
saitou |
Success |
|
|
976 |
2019/11/05 12:53:09
|
n * S m = n + n * m
|
saitou |
Success |
|
|
975 |
2019/11/05 12:36:33
|
forall f: bool -> bool, f^3(x) = f(x)
|
saitou |
Success |
|
|
974 |
2019/11/05 12:23:52
|
1 + 1 = 2
|
saitou |
Success |
|
|
973 |
2019/11/05 12:22:53
|
plus_comm
|
saitou |
Success |
|
|
972 |
2019/11/05 12:13:41
|
plus_assoc
|
saitou |
Success |
|
|
971 |
2019/11/04 22:01:49
|
plus_comm
|
CoiL |
Failure |
|
|
970 |
2019/11/04 20:54:24
|
Sum of binomial coefficients
|
yodvhskd |
Success |
|
|
969 |
2019/11/04 20:44:39
|
Sum of binomial coefficients
|
yodvhskd |
Failure |
|
|
968 |
2019/11/04 20:40:13
|
Sum of binomial coefficients
|
yodvhskd |
Failure |
|
|
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 |
|
|