Proofgold bounties

Description of bounties

Open bounties

TMQN6..^{MetaCat_struct_b_b_e_rng_equalizer_constr} 125.00
TMNNY..^{MetaCat_struct_b_semigroup_coequalizer_constr} 125.00
TMTr6..^{MetaCat_struct_b_b_e_e_ring_coequalizer_constr} 125.00
TMdBj..^{MetaCat_struct_b_b_r_e_e_coequalizer_constr} 125.00
TMLn8..^{MetaCat_struct_b_b_e_e_equalizer_constr} 125.00
TMYxJ..^{MetaCat_struct_b_monoid_coequalizer_constr} 125.00
TMHvR..^{MetaCat_struct_b_b_e_crng_coequalizer_constr} 125.00
TMZiW..^{MetaCat_struct_b_quasigroup_coequalizer_constr} 125.00
TMR38..^{MetaCat_struct_b_b_e_e_semiring_coequalizer_constr} 125.00
TMPee..^{MetaCat_struct_u_idem_coequalizer_constr} 125.00
TMLQw..^{MetaCat_struct_r_graph_coequalizer_constr} 125.00
TMWLy..^{MetaCat_struct_r_coequalizer_constr} 125.00
TMEkY..^{MetaCat_struct_r_partialord_coequalizer_constr} 125.00
TMJ1Q..^{MetaCat_struct_u_bij_coequalizer_constr} 125.00
TMLq8..^{MetaCat_struct_r_per_coequalizer_constr} 125.00
TMTP6..^{MetaCat_struct_e_equalizer_constr} 125.00
TMUGb..^{MetaCat_struct_u_inj_coequalizer_constr} 125.00
TMYdM..^{MetaCat_struct_e_coequalizer_constr} 125.00
TMEmM..^{MetaCat_struct_p_nonempty_coequalizer_constr} 125.00
TMTq7..^{MetaCat_struct_b_coequalizer_constr} 125.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