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_9TwoRamseyProp_3_4_9 500.00
47d21.. 500.00
TwoRamseyProp_3_8_Power_7TwoRamseyProp_3_8_Power_7 500.00
TwoRamseyProp_4_6_Power_8TwoRamseyProp_4_6_Power_8 500.00
TwoRamseyProp_3_10_Power_7TwoRamseyProp_3_10_Power_7 500.00
TwoRamseyProp_3_9_Power_8TwoRamseyProp_3_9_Power_8 500.00
TwoRamseyProp_4_5_Power_6TwoRamseyProp_4_5_Power_6 500.00
TwoRamseyProp_5_6_Power_8TwoRamseyProp_5_6_Power_8 500.00
TwoRamseyProp_3_8_Power_8TwoRamseyProp_3_8_Power_8 500.00
TwoRamseyProp_4_4_Power_8TwoRamseyProp_4_4_Power_8 500.00
TwoRamseyProp_3_10_Power_8TwoRamseyProp_3_10_Power_8 500.00
TwoRamseyProp_3_9_Power_7TwoRamseyProp_3_9_Power_7 500.00
TwoRamseyProp_3_10_Power_6TwoRamseyProp_3_10_Power_6 500.00
TwoRamseyProp_3_9_Power_6TwoRamseyProp_3_9_Power_6 500.00
TwoRamseyProp_4_7_Power_7TwoRamseyProp_4_7_Power_7 500.00
TwoRamseyProp_4_5_Power_8TwoRamseyProp_4_5_Power_8 500.00
TwoRamseyProp_4_5_Power_7TwoRamseyProp_4_5_Power_7 500.00
TwoRamseyProp_5_5_Power_7TwoRamseyProp_5_5_Power_7 500.00
TwoRamseyProp_4_7_Power_8TwoRamseyProp_4_7_Power_8 500.00
TwoRamseyProp_5_5_Power_8TwoRamseyProp_5_5_Power_8 500.00

More closed bounties

Open sum
304,239.66
Collected sum
209,544.88