Proofgold bounties

Description of bounties

Open bounties

2332c..^{MetaCat_struct_b_b_e_rng_nno} 250.00
TMRwA..^{MetaCat_struct_b_b_e_pushout_constr} 250.00
TMYw4..^{MetaCat_struct_b_b_e_pullback_constr} 250.00
51d9f..^{MetaCat_struct_b_b_e_e_product_exponent} 250.00
2edf3..^{MetaCat_struct_b_b_e_nno} 250.00
TMWx2..^{MetaCat_struct_b_b_e_rng_subobject_classifier} 250.00
TMRUq..^{MetaCat_struct_b_b_e_e_pullback_constr} 250.00
dbe72..^{MetaCat_struct_b_b_e_crng_nno} 250.00
TMKJe..^{MetaCat_struct_b_b_e_e_pushout_constr} 250.00
6b467..^{MetaCat_struct_b_b_e_e_semiring_product_exponent} 250.00
TMQcZ..^{MetaCat_struct_c_pullback_constr} 250.00
TMXQH..^{MetaCat_struct_b_group_subobject_classifier} 250.00
485ba..^{MetaCat_struct_c_T1_topology_product_exponent} 250.00
TMPTY..^{MetaCat_struct_b_abelian_group_subobject_classifier} 250.00
c8e85..^{MetaCat_struct_c_Hausdorff_topology_product_exponent} 250.00
6a5cf..^{MetaCat_struct_b_quasigroup_nno} 250.00
a69bb..^{MetaCat_struct_c_topology_product_exponent} 250.00
TMQFD..^{MetaCat_struct_c_topology_pushout_constr} 250.00
TMJ4j..^{MetaCat_struct_c_T1_topology_subobject_classifier} 250.00
87fa7..^{MetaCat_struct_b_semigroup_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