Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMWt2..
MetaCat_struct_b_pushout_constr
250.00
TMcVX..
MetaCat_struct_c_topology_subobject_classifier
250.00
TMafZ..
MetaCat_struct_b_abelian_group_pushout_constr
250.00
26e9f..
MetaCat_struct_b_loop_nno
250.00
01a47..
MetaCat_struct_b_group_product_exponent
250.00
TMS8P..
MetaCat_struct_b_b_e_e_semiring_pushout_constr
250.00
TMXV8..
MetaCat_struct_b_quasigroup_subobject_classifier
250.00
TMXy3..
MetaCat_struct_c_subobject_classifier
250.00
c982c..
MetaCat_struct_b_semigroup_product_exponent
250.00
58d58..
MetaCat_struct_b_quasigroup_product_exponent
250.00
dda51..
MetaCat_struct_c_product_exponent
250.00
5669f..
MetaCat_struct_b_b_e_e_semiring_nno
250.00
TMRhf..
MetaCat_struct_b_monoid_subobject_classifier
250.00
TMNNN..
MetaCat_struct_b_b_e_rng_pushout_constr
250.00
9b232..
MetaCat_struct_b_b_e_e_nno
250.00
ea0ba..
MetaCat_struct_c_nno
250.00
TMZTG..
MetaCat_struct_c_Hausdorff_topology_pushout_constr
250.00
TMbrW..
MetaCat_struct_b_b_e_subobject_classifier
250.00
TMQTS..
MetaCat_struct_b_b_e_e_cring_subobject_classifier
250.00
8006d..
MetaCat_struct_b_abelian_group_nno
250.00
More open bounties
Collected bounties
592be..
MetaCat_struct_p_product_exponent
250.00
1f2a9..
MetaFunctor_struct_e_struct_p_nonempty
250.00
a53be..
MetaCatSet_pullback_gen
250.00
25c26..
MetaCatSet_subobject_classifier
250.00
833b6..
MetaCatSmallSet_nno
250.00
d6d09..
MetaCat_struct_r_wellord_nno
250.00
15618..
MetaCatSet_pushout
250.00
3aa34..
MetaCat_struct_r_graph_subobject_classifier
250.00
12c76..
MetaCat_struct_u_nno
250.00
e5b47..
MetaCatSet_subobject_classifier_gen_ex
250.00
bfc42..
MetaCatHFSet_pushout
250.00
dcba1..
MetaCat_struct_p_nno
250.00
1051b..
MetaCatSet_nno_gen_ex
250.00
e6d9e..
MetaCat_struct_b_group_equalizer_constr
125.00
994bf..
MetaCat_struct_b_abelian_group_equalizer_constr
125.00
f1b36..
MetaCat_struct_b_loop_equalizer_constr
125.00
1451d..
MetaCat_struct_b_monoid_equalizer_constr
125.00
9347c..
MetaCat_struct_b_semigroup_equalizer_constr
125.00
b8635..
MetaCat_struct_b_quasigroup_equalizer_constr
125.00
1d8ba..
MetaCat_struct_r_equalizer_constr
125.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88