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

54668..^{not_TwoRamseyProp_3_7_Power_3} 500.00
ff590..^{not_TwoRamseyProp_3_6_Power_3} 500.00
6bca8..^{not_TwoRamseyProp_3_5_Power_3} 500.00
df26e..^{not_TwoRamseyProp_3_8_Power_3} 500.00
69d43..^{not_TwoRamseyProp_3_9_Power_3} 500.00
a1e0f..^{not_TwoRamseyProp_3_10_Power_4} 500.00
7f909..^{not_TwoRamseyProp_3_10_Power_3} 500.00
b6366..^{not_TwoRamseyProp_3_8_Power_4} 500.00
f990b..^{not_TwoRamseyProp_3_9_Power_4} 500.00
f5ebc..^{not_TwoRamseyProp_4_6_Power_4} 500.00
33278..^{not_TwoRamseyProp_4_6_Power_3} 500.00
fe972..^{not_TwoRamseyProp_4_5_Power_3} 500.00
e1864..^{not_TwoRamseyProp_4_7_Power_3} 500.00
84f84..^{not_TwoRamseyProp_6_7_Power_3} 500.00
not_TwoRamseyProp_5_5_Power_4^{not_TwoRamseyProp_5_5_Power_4} 500.00
not_TwoRamseyProp_4_9_Power_5^{not_TwoRamseyProp_4_9_Power_5} 500.00
not_TwoRamseyProp_5_8_Power_5^{not_TwoRamseyProp_5_8_Power_5} 500.00
c6b25..^{not_TwoRamseyProp_5_7_Power_4} 500.00
95a55..^{not_TwoRamseyProp_4_8_Power_3} 500.00
not_TwoRamseyProp_6_6_Power_5^{not_TwoRamseyProp_6_6_Power_5} 500.00

More closed bounties

Open sum
304,239.66

Collected sum
209,544.88