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
TwoRamseyProp_3_4_9
TwoRamseyProp_3_4_9
500.00
47d21..
500.00
TwoRamseyProp_3_8_Power_7
TwoRamseyProp_3_8_Power_7
500.00
TwoRamseyProp_4_6_Power_8
TwoRamseyProp_4_6_Power_8
500.00
TwoRamseyProp_3_10_Power_7
TwoRamseyProp_3_10_Power_7
500.00
TwoRamseyProp_3_9_Power_8
TwoRamseyProp_3_9_Power_8
500.00
TwoRamseyProp_4_5_Power_6
TwoRamseyProp_4_5_Power_6
500.00
TwoRamseyProp_5_6_Power_8
TwoRamseyProp_5_6_Power_8
500.00
TwoRamseyProp_3_8_Power_8
TwoRamseyProp_3_8_Power_8
500.00
TwoRamseyProp_4_4_Power_8
TwoRamseyProp_4_4_Power_8
500.00
TwoRamseyProp_3_10_Power_8
TwoRamseyProp_3_10_Power_8
500.00
TwoRamseyProp_3_9_Power_7
TwoRamseyProp_3_9_Power_7
500.00
TwoRamseyProp_3_10_Power_6
TwoRamseyProp_3_10_Power_6
500.00
TwoRamseyProp_3_9_Power_6
TwoRamseyProp_3_9_Power_6
500.00
TwoRamseyProp_4_7_Power_7
TwoRamseyProp_4_7_Power_7
500.00
TwoRamseyProp_4_5_Power_8
TwoRamseyProp_4_5_Power_8
500.00
TwoRamseyProp_4_5_Power_7
TwoRamseyProp_4_5_Power_7
500.00
TwoRamseyProp_5_5_Power_7
TwoRamseyProp_5_5_Power_7
500.00
TwoRamseyProp_4_7_Power_8
TwoRamseyProp_4_7_Power_8
500.00
TwoRamseyProp_5_5_Power_8
TwoRamseyProp_5_5_Power_8
500.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88