Proofgold bounties

Description of bounties

Open bounties

TMcZU..^{MetaCat_struct_c_Hausdorff_topology_pullback_constr} 250.00
TMYx7..^{MetaCat_struct_c_T1_topology_pullback_constr} 250.00
TMXvB..^{MetaCat_struct_c_pushout_constr} 250.00
TMWYw..^{MetaCat_struct_b_monoid_pushout_constr} 250.00
TMXWm..^{MetaCat_struct_b_quasigroup_pushout_constr} 250.00
TMdPV..^{MetaCat_struct_c_T1_topology_pushout_constr} 250.00
f8b92..^{MetaCat_struct_b_abelian_group_product_exponent} 250.00
TMHDF..^{MetaCat_struct_b_loop_pushout_constr} 250.00
74694..^{MetaCat_struct_c_T1_topology_nno} 250.00
6aef9..^{MetaCat_struct_b_loop_product_exponent} 250.00
b6cb9..^{MetaCat_struct_c_topology_nno} 250.00
TMNdA..^{MetaCat_struct_b_semigroup_subobject_classifier} 250.00
65df6..^{MetaCat_struct_b_monoid_product_exponent} 250.00
b8f7d..^{MetaCat_struct_b_group_nno} 250.00
TMGi4..^{MetaCat_struct_b_group_pushout_constr} 250.00
TMKpY..^{MetaCat_struct_b_loop_subobject_classifier} 250.00
TMcVZ..^{MetaCat_struct_b_semigroup_pushout_constr} 250.00
TMXWk..^{MetaCat_struct_c_topology_pullback_constr} 250.00
TMTr5..^{MetaCat_struct_c_Hausdorff_topology_subobject_classifier} 250.00
71b81..^{MetaCat_struct_c_Hausdorff_topology_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